diff options
| author | jvoisin | 2018-02-07 11:57:16 +0100 |
|---|---|---|
| committer | jvoisin | 2018-02-07 11:57:16 +0100 |
| commit | 9c2c9d805d92c846f472f994efb50e1ad2fb60b6 (patch) | |
| tree | 1b38600bac2931752d2a018ab2973baa9342b384 /config | |
| parent | 81bd738128f94e3da0f308a0d701a824de9f3af2 (diff) | |
Use assertions for things that should never happen
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions