3 Commits

Author	SHA1	Message	Date
Robin Mueller	b3e2e93f52	cleaned up a bit	2021-01-12 20:46:34 +01:00
Robin Mueller	20bf7b6fc4	fixed annoying bug	2021-01-12 20:33:53 +01:00
Robin Mueller	40ae81c4ff	unfortunate api change ... should improve include robustness	2021-01-12 19:58:29 +01:00