3rdparty: remove optional submodule

2018-08-27 17:30:30 +02:00
parent 79cf2832ae
commit 6c62d042c5
5 changed files with 1 additions and 7 deletions
@@ -26,9 +26,6 @@
 	url = https://github.com/RPCS3/hidapi
 	branch = master
 	ignore = dirty
-[submodule "3rdparty/Optional"]
-	path = 3rdparty/Optional
-	url = https://github.com/akrzemi1/Optional.git
 [submodule "3rdparty/pugixml"]
 	path = 3rdparty/pugixml
 	url = https://github.com/zeux/pugixml