Revision 386:e4510c9eee94

IDe4510c9eee94f6baaa5c62ff70b4dcfc59218532
Parent 385:fb5547fe6d99
Child 388:fe2f8e00096b, 393:814e85de67e1

Added by Giulio Moro over 9 years ago

Makefile: prompt for distclean, cleanup

Downloads

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences