diff options
Diffstat (limited to 'vendor/optional-files.json')
| -rw-r--r-- | vendor/optional-files.json | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/vendor/optional-files.json b/vendor/optional-files.json deleted file mode 100644 index 4d62a8903c..0000000000 --- a/vendor/optional-files.json +++ /dev/null @@ -1,8 +0,0 @@ -{ - "//": "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": {} -} |