David Given 44fc125b1a Remove signals.		2022-07-16 23:52:41 +02:00
..
as	Remove signals.	2022-07-16 23:52:41 +02:00
cg	Rework all the ackbuilder scripts not to use wildcards, because we can't expand	2022-07-14 23:57:54 +02:00
fp	Rework all the ackbuilder scripts not to use wildcards, because we can't expand	2022-07-14 23:57:54 +02:00
grind	Distributions are a pain --- let's not bother any more. Instead, we just tag	2016-09-02 23:00:38 +02:00
libg	Distributions are a pain --- let's not bother any more. Instead, we just tag	2016-09-02 23:00:38 +02:00
mcg	Rework all the ackbuilder scripts not to use wildcards, because we can't expand	2022-07-14 23:57:54 +02:00
ncg	Rework all the ackbuilder scripts not to use wildcards, because we can't expand	2022-07-14 23:57:54 +02:00
top	Rework all the ackbuilder scripts not to use wildcards, because we can't expand	2022-07-14 23:57:54 +02:00