diff options
Diffstat (limited to 'vendor')
m--------- | vendor/args | 0 | ||||
-rw-r--r-- | vendor/args-files.json | 8 | ||||
-rw-r--r-- | vendor/args.cmake | 5 |
3 files changed, 0 insertions, 13 deletions
diff --git a/vendor/args b/vendor/args deleted file mode 160000 -Subproject f68b7e186cd2a020cbddfe3194c1d8ddfeeb101 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": {} -} diff --git a/vendor/args.cmake b/vendor/args.cmake deleted file mode 100644 index b5839943c2..0000000000 --- a/vendor/args.cmake +++ /dev/null @@ -1,5 +0,0 @@ -add_library(args INTERFACE) - -target_include_directories(args SYSTEM INTERFACE - ${CMAKE_SOURCE_DIR}/vendor/args -) |