« Previous | Next » 

Revision fb44e195

IDfb44e1955a1b6f0c149d396856f075df178ccd49
Parent ea70484e
Child e4017e61

Added by Ruben S. Montero over 9 years ago

feature #1112: Fix file name in install.sh

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences