diff options
-rw-r--r-- | .clant.json | 4 | ||||
-rw-r--r-- | .includes.imp | 6 |
2 files changed, 0 insertions, 10 deletions
diff --git a/.clant.json b/.clant.json deleted file mode 100644 index 76cae6d3..00000000 --- a/.clant.json +++ /dev/null @@ -1,4 +0,0 @@ -{ - "version": "1.0.0", - "mapping_files": [".includes.imp"] -} diff --git a/.includes.imp b/.includes.imp deleted file mode 100644 index 07b654dd..00000000 --- a/.includes.imp +++ /dev/null @@ -1,6 +0,0 @@ -[ - { "symbol": [ "int64_t", "private", "<stdint.h>", "public" ] }, - { "symbol": [ "uint32_t", "private", "<stdint.h>", "public" ] }, - { "symbol": [ "uint64_t", "private", "<stdint.h>", "public" ] }, - { "symbol": [ "uint8_t", "private", "<stdint.h>", "public" ] }, -] |