19 Jan
2004
19 Jan
'04
4:29 p.m.
It there any point to the pp-fptools stuff (which does platform-independent preprecessing)? This has to be done when building a tarball, but it seems useless when the rest of the making is done on the same machine.