diff options
author | defanor <defanor@uberspace.net> | 2017-12-04 19:14:06 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2017-12-04 19:14:06 +0300 |
commit | 88d9c4a76e27ddee2170bb21e90e0f0fcf77b44c (patch) | |
tree | 9d961f8fc78132d652edfc0c037cfb2ec0d74bda /.travis.yml | |
parent | 0da83fbee2a242d78fa835b011c09839ac2eacda (diff) |
Introduce the omitNamedOptions option
It is nice to omit them, but may lead to ambiguity -- so better to
provide a safer option.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions