« Previous | Next » 

Revision 2e82f6db

ID2e82f6dbc0b520205d379bb624234efd70b8a5ff
Parent 026a7e5d
Child a0384990

Added by Luca Abeni about 11 years ago

Use $(MAKE) instead of make

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences