Vladimír Čunát e78ef9cc12 gnumake-3.81: remove ... It doesn't seem to be of any use, except for spitting warnings about md5.		2016-10-29 15:49:27 +02:00
..
3.80	…
3.82	…
4.0	…
4.1	…
4.2	…