blob: 4d62a8903c204aa1cea124848c1b7be0eda68353 (
plain)
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": {}
}
|