-
- Downloads
Add a new target to clean all *.cmi files. Now it is convenient to use 'make...
Add a new target to clean all *.cmi files. Now it is convenient to use 'make cleanall all stdlib' and then 'make clean_cmi all stdlib'.
Please register or sign in to comment