2 Commits

Author	SHA1	Message	Date
wmayer	0513cf06d3	+ issue #0001049: Sketcher preferences in preferences editor	2014-03-09 21:44:37 +01:00
wmayer	2aaa63c5eb	+ move sketcher related settings into own page	2014-03-09 18:07:46 +01:00