Vladimír Čunát 9d3228f99d gnumake42: bugfix 4.2 -> 4.2.1		2016-07-09 16:50:12 +02:00
..
3.80
3.81
3.82
4.0
4.1
4.2	gnumake42: bugfix 4.2 -> 4.2.1	2016-07-09 16:50:12 +02:00