« Previous | Next » 

Revision 0136e0ec

ID0136e0ec930ab1eed7d75b02ff8161786a26535a
Parent dd81d1a3
Child feecea37

Added by Thomas Schöpping over 2 years ago

Bash scripts: introduced a new function to check dependencies.
This function is used by several files to ensure that git, make, etc. are available.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences