Added method for deleting generated files.
Only useful if x13 fails (otherwise the files are deleted).
src/@x13/clean.m
0 → 100644
Please register or sign in to comment
Only useful if x13 fails (otherwise the files are deleted).