Revision 968de7fc
ID | 968de7fc28b8ec997e2f88d6e849bdfdbfd02391 |
Parent | 10e37f3b |
Child | 7ae514ba |
Fix/enhance makefile rules after the rename
Files
- added
- modified
- copied
- renamed
- deleted
ID | 968de7fc28b8ec997e2f88d6e849bdfdbfd02391 |
Parent | 10e37f3b |
Child | 7ae514ba |
Added by Iustin Pop over 15 years ago
Fix/enhance makefile rules after the rename