« Previous | Next » 

Revision 9506caa7

ID9506caa7ff655cc3f51f2ca7dd8926d0bd695c98
Parent 8516dad6
Child e5742249

Added by Thomas Schöpping almost 5 years ago

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences