ka-weihe 7f225f2eaa map: rename size to len		2020-06-21 16:51:02 +02:00
..
tools	map: rename size to len	2020-06-21 16:51:02 +02:00
v	vdoc: fix sorting + other minor improvements	2020-06-19 10:36:45 +02:00