chiark / gitweb /
chpwd: Set default config file from environment variable `CHPWD_CONFIG'.
[chopwood] / config.py
2013-03-08 Mark WoodingInitial commit.