9 lines
235 B
JSON
9 lines
235 B
JSON
{
|
|
"//": "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": {}
|
|
}
|