« Previous | Next » 

Revision 1723b629

ID1723b62906d9af4cc638ccdd9a6d6b002ba4d4b1
Parent 25f045ec
Child 14ca49e1

Added by Csaba Kiraly over 9 years ago

makefile: use curl if wget is not installed

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences