diff options
Diffstat (limited to 'vendor/args-files.json')
| -rw-r--r-- | vendor/args-files.json | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/vendor/args-files.json b/vendor/args-files.json deleted file mode 100644 index c3c9bb64c6..0000000000 --- a/vendor/args-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": { - "args.hxx": "vendor/args/args.hxx" - }, - "private_headers": {} -} |