Revision ceb9ff59
ID | ceb9ff59739ba360e7b0ffc1d24c5745437ac09b |
minor usermenu ui fixes. Refs. #663
Files
- added
- modified
- copied
- renamed
- deleted
ID | ceb9ff59739ba360e7b0ffc1d24c5745437ac09b |
Added by Kostas Papadimitriou almost 13 years ago
minor usermenu ui fixes. Refs. #663