diff --git a/.gitignore b/.gitignore index 2fe541dde5c14c962135ed21d64c1105f2263ae2..5917c13d05e815e3e477c50fc10aa7ed09630e0d 100644 --- a/.gitignore +++ b/.gitignore @@ -18,6 +18,9 @@ build/ # Data data/* +# Remove local cozy-doctypes folder +cozy-doctypes/ + # Coverage coverage/ diff --git a/cozy-doctypes b/cozy-doctypes deleted file mode 160000 index f4d6559b8c0a764136f73271eb814187410ceebc..0000000000000000000000000000000000000000 --- a/cozy-doctypes +++ /dev/null @@ -1 +0,0 @@ -Subproject commit f4d6559b8c0a764136f73271eb814187410ceebc