« Previous | Next » 

Revision e9df13b2

IDe9df13b28556535ab03abaa556f727a2b7b0f5b4
Parent 3ad4956f
Child 2e8f0074

Added by Ruben S. Montero about 9 years ago

feature #1303. Group some options in conf file

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences