Merge branch 'develop' of github.com:docopt/docopt.php into develop

shabbyrobe · shabbyrobe · commit 808b7dd30290 · 2014-09-23T16:41:07.000+10:00
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "py"]
 	path = py
-	url = http://github.com/docopt/docopt.git
+	url = https://github.com/docopt/docopt.git
