Move optional.hpp as a submodule

2017-10-09 19:50:09 +02:00
parent c570410e06
commit 0129c54ab6
11 changed files with 16 additions and 1077 deletions
@@ -37,4 +37,7 @@
 [submodule "3rdparty/hidapi"]
 	path = 3rdparty/hidapi
 	url = https://github.com/RPCS3/hidapi
-	branch = master
+	branch = master
+[submodule "3rdparty/Optional"]
+	path = 3rdparty/Optional
+	url = https://github.com/akrzemi1/Optional.git