chiark / gitweb /
set -e to make it easier to kill this
[bin.git] / update-config
2007-07-20 Colin Watsonrename to update-config