Torsten Ruger 1c52ab6b67 use hex for labels
idea was to be able to compare to positions
(but they are different positions)
2018-05-01 19:20:16 +03:00
..
2018-05-01 19:19:04 +03:00
2018-04-20 19:38:33 +03:00
2018-05-01 19:19:37 +03:00
2018-05-01 19:20:16 +03:00
2018-05-01 19:20:16 +03:00
2016-12-06 16:44:04 +02:00
2018-03-25 18:22:02 +03:00
2018-04-17 20:26:15 +03:00