« Previous | Next » 

Revision f5d3d465

IDf5d3d465a8bb6ea6885cd40ca6c72e115a523795
Parent a55b5c41
Child 319e8eed

Added by Csaba Kiraly over 10 years ago

use MAKE instead of make in Makefile

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences