831d7fa82a
XXX: hack configure so that it works with the removal with the tools and other os's. Perhaps in the future we should not do such cleanup. |
||
---|---|---|
.. | ||
ChangeLog | ||
cvs.5 | ||
cvsbug.8 | ||
Makefile.am | ||
Makefile.in |
831d7fa82a
XXX: hack configure so that it works with the removal with the tools and other os's. Perhaps in the future we should not do such cleanup. |
||
---|---|---|
.. | ||
ChangeLog | ||
cvs.5 | ||
cvsbug.8 | ||
Makefile.am | ||
Makefile.in |