« Previous | Next » 

Revision 1da2dd3e

ID1da2dd3e24120d4c9f2fcddfefe292925c8bbe47
Parent 41e932e0
Child b9715179

Added by Tino Vázquez over 6 years ago

feature #2911: removed unneeded file from install.sh

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences