diff options
author | 2018-04-20 11:14:47 -0400 | |
---|---|---|
committer | 2018-04-20 11:14:47 -0400 | |
commit | 9fbbbcb2a25119a5966855498a5828bb430e7978 (patch) | |
tree | ca61473247ad141fba02b71325a3e694a34b6d50 /patch | |
parent | 58b0aefc66772977752d01e35927e9eab3ee775f (diff) |
Fix build breakages under linux (gcc) (#1154)
* fix multiline comments by subst /* ... */ for //
* fix unreachable case in a switch statement
Diffstat (limited to 'patch')
0 files changed, 0 insertions, 0 deletions