Revision 51bffc84
ID | 51bffc8415d8f25e9f9ab50531e75bdec2af4d69 |
Updated default ui settings and README.upgrade file
Files
- added
- modified
- copied
- renamed
- deleted
ID | 51bffc8415d8f25e9f9ab50531e75bdec2af4d69 |
Added by Kostas Papadimitriou over 12 years ago
Updated default ui settings and README.upgrade file