Alexander Medvednikov 9971c58ca3 all: remove `var` key		2020-04-30 16:55:33 +02:00
..
position.v	checker: disallow pub in main	2020-04-19 00:07:57 +02:00
token.v	all: remove `var` key	2020-04-30 16:55:33 +02:00