Eelco Dolstra 969d7b0451 gnumake380: Remove ... This hasn't been used in a long time.		2017-07-24 14:27:11 +02:00
..
3.82
4.0
4.1
4.2	gnumake42: bugfix 4.2 -> 4.2.1	2016-07-09 16:50:12 +02:00