diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-08-18 23:16:53 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-08-18 23:17:56 +0100 |
| commit | 3f493fa186305fb59877e7b560a0cbce78cff3aa (patch) | |
| tree | ce2f337c761aa912fbcc71aeba62b58a781430c2 /src/normal.cc | |
| parent | a33c8d9677ae81375f8e9567efc5b3e14ae026f5 (diff) | |
Rename Disableable to more general NestedBool
A NestedBool can be set multiple times, and will be considered false
only when unset the same number.
Diffstat (limited to 'src/normal.cc')
0 files changed, 0 insertions, 0 deletions