Revision 8ed29e14
ID | 8ed29e14ce26f946555ae6956aa0cee2aaea842a |
Default settings configuration file
Files
- added
- modified
- copied
- renamed
- deleted
ID | 8ed29e14ce26f946555ae6956aa0cee2aaea842a |
Added by Kostas Papadimitriou about 12 years ago
Default settings configuration file