diff options
author | Bjørn Christian Seime <bjorn.christian@seime.no> | 2017-02-28 13:32:45 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-28 13:32:45 +0100 |
commit | 0901091b4982b8207eb419577282c967f69a0dcf (patch) | |
tree | c473ceaa6638debd13639f53310b460c12cfcd8f /build_settings.cmake | |
parent | f988b3178e28f1fe58c5efc7b9fca3c2cd5e2721 (diff) | |
parent | 5c878584a76d36ee8e9e5cb8b60041fbc511f819 (diff) |
Merge pull request #1886 from yahoo/bjorncs/remove-jetty-workaround
Bjorncs/remove jetty workaround
Diffstat (limited to 'build_settings.cmake')
0 files changed, 0 insertions, 0 deletions