Makes clean also delete _minted* directories Stops make from stopping early if files are not there when cleaningmaster
parent
526bafc972
commit
63c02e13f9
1 changed files with 7 additions and 5 deletions
Loading…
Reference in new issue