Revision fe820f73
ID | fe820f73f9c9ed00e251173678812bbfbbbd92e0 |
Add more spacing between buttons and rulers, Refs. #375
Files
- added
- modified
- copied
- renamed
- deleted
ID | fe820f73f9c9ed00e251173678812bbfbbbd92e0 |
Added by Christos Psaltis almost 13 years ago
Add more spacing between buttons and rulers, Refs. #375