5 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	3efcc4d456	Small tweaks	2020-07-25 00:20:52 +02:00
Pieter Vander Vennet	369c19a58a	Translations	2020-07-21 00:07:04 +02:00
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