- 20 Mar, 2012 1 commit
-
-
jean-pierre charras authored
Remove 2 duplicate icons. Minor cosmetic enhancements and fixes in popup menus.
-
- 25 Feb, 2012 1 commit
-
-
jean-pierre charras authored
-
Remove 2 duplicate icons. Minor cosmetic enhancements and fixes in popup menus.