| 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.