diff options
| author | Toni Uhlig <matzeton@googlemail.com> | 2019-05-17 00:03:10 +0200 |
|---|---|---|
| committer | Toni Uhlig <matzeton@googlemail.com> | 2019-05-17 00:03:10 +0200 |
| commit | 89486f4f9a4f5e506e48a6c10ba0e9c7e5aa9ecd (patch) | |
| tree | ccb997714a7914cf90a2c9d5e63dabd490fd1793 /src | |
| parent | 2024a8a1d3eeaec66e540ce298b1e93e81b1f351 (diff) | |
travis-ci: --enable-option-checking=fatal
Signed-off-by: Toni Uhlig <matzeton@googlemail.com>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions