On Wed, 13 Sep 2006, Page, Bill wrote: | Gaby, | | Here is just a quick patch to make sure that all the | 'stamp-*' directories are deleted in the case of | 'make clean'.
Thanks. This is queued. -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
