« Previous | Next » 

Revision eb18831f

IDeb18831f3b1f739570afe4c8eaa00219373870a7
Parent c6def51f
Child 25f045ec

Added by Csaba Kiraly over 9 years ago

mingw32: handle .exe extension in makefile

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences