53 commits

Author	SHA1	Message	Date
Alexander Schäferdiek	49f4b71bcd	Fix false path	2019-01-25 19:02:33 +01:00
Alexander Schäferdiek	52e05aae33	Rename reserved name	2019-01-25 18:52:06 +01:00
Alexander Schäferdiek	242edc9dcb	Lots of updates	2019-01-25 18:28:29 +01:00