From 87e986f6e99b4111c02acd979d9a908018adeb67 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Konstantin=20K=C3=A4fer?= Date: Mon, 17 Dec 2018 15:24:11 +0100 Subject: [build] generate header maps instead of -files.txt --- vendor/earcut.hpp-files.json | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 vendor/earcut.hpp-files.json (limited to 'vendor/earcut.hpp-files.json') diff --git a/vendor/earcut.hpp-files.json b/vendor/earcut.hpp-files.json new file mode 100644 index 0000000000..a5b9b97452 --- /dev/null +++ b/vendor/earcut.hpp-files.json @@ -0,0 +1,8 @@ +{ + "//": "This file is generated. Do not edit. Regenerate it with scripts/generate-file-lists.js", + "sources": [], + "public_headers": { + "mapbox/earcut.hpp": "vendor/earcut.hpp/include/mapbox/earcut.hpp" + }, + "private_headers": {} +} -- cgit v1.2.1