commit | 4a6c06d6a981d05c5ab3dbc7a365ff740fbb7feb | [log] [download] |
---|---|---|
author | nicm <nicm> | Thu Jun 04 14:29:33 2015 +0000 |
committer | nicm <nicm> | Thu Jun 04 14:29:33 2015 +0000 |
tree | e6cc87952f20905e67dc951a03b8994ca22597ac | |
parent | a863834574ec02b87ff0e7245ef31f0d4543ab34 [diff] |
Make unsetting a global option restore it to the default. Diff lying around for a while, I have forgotten who suggested it :-/.