3 commits

Author	SHA1	Message	Date
Arndt Brenschede	231f55c64d	bugfix for restriction-splitting	2019-09-28 21:28:12 +02:00
Arndt Brenschede	ab621d2b2e	pre-process speed: restrictions file split	2019-09-28 12:56:36 +02:00
Arndt Brenschede	ba34488447	preprocessor speedup using more memory	2019-09-24 08:32:18 +02:00