Revision 8eee42de
Refined the dependencies in the generated makefile
Files
- added
- modified
- copied
- renamed
- deleted
ID | 8eee42de575366baaeb9b3517d38b5b3464eb4b5 |
Parent | 92aa8330 |
Child | 2ed9b6f2 |
Added by Pierre-Loïc Garoche about 5 years ago
Refined the dependencies in the generated makefile