diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2019-06-19 00:49:10 +0200 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2019-06-19 01:12:33 +0200 |
commit | edf99c36d2aa8cd7311234d1f134d2b8db246ac0 (patch) | |
tree | da76a81c51646002fa6bf220a927979c186356c6 /os | |
parent | 1d158cf3954ef28aa045edcc2c08b031657165dd (diff) |
Fix redundant case warning
Diffstat (limited to 'os')
0 files changed, 0 insertions, 0 deletions