diff options
author | Konstantin Käfer <mail@kkaefer.com> | 2019-06-11 10:11:47 +0200 |
---|---|---|
committer | Konstantin Käfer <mail@kkaefer.com> | 2019-06-12 12:04:07 +0200 |
commit | 844299f1c3b22eed4bf07c37052b3c2ea35e2564 (patch) | |
tree | c752b704492df12395c6db6447183e9621485a8e /vendor/optional-files.json | |
parent | edd04d31eb591180b76969be971039b0cde00c88 (diff) | |
download | qtlocation-mapboxgl-844299f1c3b22eed4bf07c37052b3c2ea35e2564.tar.gz |
[build] remove roundtrip through <experimental/optional> when using optional
Diffstat (limited to 'vendor/optional-files.json')
-rw-r--r-- | vendor/optional-files.json | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/vendor/optional-files.json b/vendor/optional-files.json new file mode 100644 index 0000000000..4d62a8903c --- /dev/null +++ b/vendor/optional-files.json @@ -0,0 +1,8 @@ +{ + "//": "This file is generated. Do not edit. Regenerate it with scripts/generate-file-lists.js", + "sources": [], + "public_headers": { + "optional.hpp": "vendor/optional/optional.hpp" + }, + "private_headers": {} +} |