Update #12

Merged

meierj merged 3 commits from mueller/master into develop 2020-12-29 18:11:11 +01:00

Conversation 0 Commits 3 Files Changed 8 +138 -41

3 Commits

Author	SHA1	Message	Date
Robin Mueller	3a9c0f7c9a	Merge branch 'mueller/master' of https://egit.irs.uni-stuttgart.de/eive/eive_obsw into mueller/master	2020-12-29 18:07:03 +01:00
Robin Mueller	ffe22036c6	suppressed warning flags	2020-12-29 18:06:52 +01:00
Robin.Mueller	d07294980a	reamde update	2020-12-29 15:04:08 +01:00