Commit Graph
6 Commits
Author SHA1 Message Date
Dominic Radermacher 1c552a3d11 change reporting of wrong switch position (not done yet) 2017-07-20 15:03:21 +02:00
Dominic Radermacher 7d12a82f93 updated .gitignore 2017-07-05 10:46:18 +02:00
Dominic Radermacher 7eef6ff26b README is required for autotools 2017-06-24 14:21:14 +02:00
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