chiark / gitweb /
src/crosstool.in: Don't establish `$crosstool' if we don't need it.
[mdw-cross] / .gitignore
... / ...
CommitLineData
1/bin/
2/inst.*/
3/etc/config.sh
4/etc/*-setup.sh
5