Revision 6dcf5ec0
ID | 6dcf5ec070efb6258d2f19440f1076314b7c0a75 |
Parent | f2dc9998 |
Child | e4f17589 |
minor change in the makefile to have the right executable name
Files
- added
- modified
- copied
- renamed
- deleted
ID | 6dcf5ec070efb6258d2f19440f1076314b7c0a75 |
Parent | f2dc9998 |
Child | e4f17589 |
Added by Csaba Kiraly about 11 years ago
minor change in the makefile to have the right executable name