vendor/optional-files.json


1
2
3
4
5
6
7
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": {}
}