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 10 years ago
minor change in the makefile to have the right executable name