« Previous | Next » 

Revision fd76db19

IDfd76db190a05f68e6f4600a5335d0fac11eb2f18
Parent 623883d2
Child 042a6675

Added by Lorenzo Miniero over 4 years ago

New configure options to disable all plugins

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences