diff options
Diffstat (limited to 'vendor/filesystem-files.json')
| -rw-r--r-- | vendor/filesystem-files.json | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/vendor/filesystem-files.json b/vendor/filesystem-files.json deleted file mode 100644 index d65e9c828e..0000000000 --- a/vendor/filesystem-files.json +++ /dev/null @@ -1,13 +0,0 @@ -{ - "//": "This file is generated. Do not edit. Regenerate it with scripts/generate-file-lists.js", - "sources": [], - "public_headers": { - "ghc/filesystem.hpp": "vendor/filesystem/include/ghc/filesystem.hpp", - "ghc/fs_fwd.hpp": "vendor/filesystem/include/ghc/fs_fwd.hpp", - "ghc/fs_impl.hpp": "vendor/filesystem/include/ghc/fs_impl.hpp", - "ghc/fs_std.hpp": "vendor/filesystem/include/ghc/fs_std.hpp", - "ghc/fs_std_fwd.hpp": "vendor/filesystem/include/ghc/fs_std_fwd.hpp", - "ghc/fs_std_impl.hpp": "vendor/filesystem/include/ghc/fs_std_impl.hpp" - }, - "private_headers": {} -} |