Skip to content

Create rmdir rule

Paul Koe requested to merge (removed):development into development

This is a follow-up on !48 (merged) to remove directories that have been created for caches (e.g. xsim, minted). I have tested it myself, but any feedback is welcome.

Merge request reports