David Given 2acc4ed29d IR codes are now owned by mcgg; ir terminals are inserted into the table during ... compilation (so you can refer to them).		2016-09-24 18:31:35 +02:00
..
as	Distributions are a pain --- let's not bother any more. Instead, we just tag	2016-09-02 23:00:38 +02:00
cg	Distributions are a pain --- let's not bother any more. Instead, we just tag	2016-09-02 23:00:38 +02:00
fp	Distributions are a pain --- let's not bother any more. Instead, we just tag	2016-09-02 23:00:38 +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	IR codes are now owned by mcgg; ir terminals are inserted into the table during	2016-09-24 18:31:35 +02:00
ncg	Distributions are a pain --- let's not bother any more. Instead, we just tag	2016-09-02 23:00:38 +02:00
top	Distributions are a pain --- let's not bother any more. Instead, we just tag	2016-09-02 23:00:38 +02:00