3 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	5e0d54601c	More tweaks	2020-07-19 00:13:45 +02:00
Pieter Vander Vennet	c9e90935d8	More work on widths	2020-07-17 18:57:07 +02:00
Pieter Vander Vennet	636bad97b3	Bug fixes with preprocessing; add streetwidth map	2020-07-17 17:21:07 +02:00