« Previous | Next » 

Revision 80052dc0

ID80052dc0e2cb9a29bcce70170f501c69885d7cef
Parent 332fd270
Child 1da30dfc

Added by Thomas Schöpping about 8 years ago

Minor fix to the bash setup script.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences