Mark Murray 535989d7d0 Rename a macro; it gets set at "make world" time, and I had a local ... mod that masked this. D'uh.		1999-09-25 06:59:10 +00:00
..
a2pl	…
find2pl	…
s2pl	…
Makefile	…
Makefile.inc	Rename a macro; it gets set at "make world" time, and I had a local	1999-09-25 06:59:10 +00:00