« Previous | Next » 

Revision 93933a75

ID93933a759461b7137b600efef09d3bd612bc8626
Parent ec50c96e
Child 01c0bf56

Added by Thomas Schöpping almost 6 years ago

bash library: minor fix/enhancement to the exit quitScript() function

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences