3 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Dominic Radermacher	54b51239f7	updated .gitignore	2017-06-24 14:20:36 +02:00
Dominic Radermacher	040e271ef0	cosmetic updates ;-)	2017-06-24 10:58:33 +02:00
Dominic Radermacher	d76c7a16c7	Merge branch 'devel' ... Accidently pushed branch devel to github instead to my private git server	2017-06-24 10:45:59 +02:00