commit | 458b6eb6001fe4f1bff379ac56b91273662abe8c | [log] [download] |
---|---|---|
author | nicm <nicm> | Wed Jan 11 14:56:44 2017 +0000 |
committer | nicm <nicm> | Wed Jan 11 14:56:44 2017 +0000 |
tree | dcb7746345f6f8b772cba35b9dcc3ac82e26f3dc | |
parent | 55266275587f3bb6f0dfdb1623cb870315a38213 [diff] |
Some tidying and tweaks to options code.