Martin Diehl 8f80152a03 use floor division of integers ... 1/2 = 0.5 in python3 (would be 0 in python2)		2018-11-15 12:28:36 +01:00
..
misc	removed unnecessary liens	2017-10-24 13:23:44 +02:00
post	use floor division of integers	2018-11-15 12:28:36 +01:00
pre	geom files are not labeled	2018-09-29 11:18:35 +02:00