« Previous | Next » 

Revision 8ed29e14

ID8ed29e14ce26f946555ae6956aa0cee2aaea842a
Parent 5c8d2fbc
Child a9658bb2

Added by Kostas Papadimitriou about 12 years ago

Default settings configuration file

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences