David Given 04f723b406 Eliminate make.allocd --- something about it makes Windows unhappy and it ... doesn't add value anyway.		2022-07-16 19:34:25 +02:00
..
comp	Eliminate make.allocd --- something about it makes Windows unhappy and it	2022-07-16 19:34:25 +02:00
include	Rework all the ackbuilder scripts not to use wildcards, because we can't expand	2022-07-14 23:57:54 +02:00
libm2	Rework all the ackbuilder scripts not to use wildcards, because we can't expand	2022-07-14 23:57:54 +02:00
m2mm	Fix a whole lot more stray prototypes.	2016-11-24 21:47:40 +01:00
test	Distributions are a pain --- let's not bother any more. Instead, we just tag	2016-09-02 23:00:38 +02:00