« Previous | Next » 

Revision 6dcf5ec0

ID6dcf5ec070efb6258d2f19440f1076314b7c0a75
Parent f2dc9998
Child e4f17589

Added by Csaba Kiraly over 10 years ago

minor change in the makefile to have the right executable name

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences