« Previous | Next » 

Revision 928618ee

ID928618ee9bc80a23f60bfc9f18daa65611cda465
Parent 6d1a7eaa
Child fe912861

Added by luca over 10 years ago

Fix the makefile to rebuild a subdirectory if some file in it changed

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences