From 02856bb3ff48d5b726b8ef3270beb3b9c7593a42 Mon Sep 17 00:00:00 2001 From: Leon Styhre Date: Fri, 15 May 2020 16:24:09 +0200 Subject: [PATCH] Removed pugixml as submodule --- .gitmodules | 3 --- external/pugixml | 1 - 2 files changed, 4 deletions(-) delete mode 160000 external/pugixml diff --git a/.gitmodules b/.gitmodules index ab38f31f3..e69de29bb 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "external/pugixml"] - path = external/pugixml - url = https://github.com/zeux/pugixml.git diff --git a/external/pugixml b/external/pugixml deleted file mode 160000 index d2deb420b..000000000 --- a/external/pugixml +++ /dev/null @@ -1 +0,0 @@ -Subproject commit d2deb420bc70369faa12785df2b5dd4d390e523d