diff options
| author | Daniel Friesel <derf@chaosdorf.de> | 2017-09-26 21:51:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-26 21:51:18 +0200 |
| commit | faf94a3aa5310e7ed461c9fe60f6f3b834c986e5 (patch) | |
| tree | 10c81c14bf0cebd5607b48d841d98bf0900612ff /src/options.h | |
| parent | 1ed8c69012eb238082dc4bb6befa10fc7b9426fa (diff) | |
| parent | f49f0879e651d8c92468f232febe143db2cbcd36 (diff) | |
Merge pull request #331 from zeising/zeising-silence-warnings
silence comple warnings and fix previous dead code
Diffstat (limited to 'src/options.h')
0 files changed, 0 insertions, 0 deletions