Revision 1d394e87
ID | 1d394e87156ed12c0559798e37ebde82916a9648 |
Parent | 14b13fde |
Child | ca1db81c |
Updated sample config file
Files
- added
- modified
- copied
- renamed
- deleted
ID | 1d394e87156ed12c0559798e37ebde82916a9648 |
Parent | 14b13fde |
Child | ca1db81c |
Added by Kostas Papadimitriou over 12 years ago
Updated sample config file