« Previous | Next » 

Revision d62b7335

IDd62b7335fa6d7306bbdac086096386279585b3b9
Parent 7f1b1d32
Child 9765db73

Added by Tino Vázquez almost 7 years ago

feature #2911: removed unneeded file from install.sh

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences