2 commits

Author	SHA1	Message	Date
scrawl	67bd6cd708	Remove empty line at the beginning of files ... git ls-files -z | xargs -0 sed -i '1{/^$/d}'	2015-08-18 23:06:12 +02:00
Marc Zinnschlag	4dd645559d	added ModeButton specialisation of PushButton for use in SceneToolMode	2014-11-06 13:26:19 +01:00