chiark / gitweb /
name makebuildserver config the same as the script
authorHans-Christoph Steiner <hans@eds.org>
Wed, 20 Jan 2016 19:38:18 +0000 (20:38 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Thu, 21 Jan 2016 14:34:55 +0000 (15:34 +0100)
This keeps the numbers of names down to a minimum, and since the config
is placed right next to the script, this keeps tab completion working
nicely when the config file is in place.

The old file name is still supported.


No differences found