change submodule xml-types-pickle to xml-picklers

14 years ago · 7689a71fa3
3 changed files with 4 additions and 4 deletions
--- a/.gitmodules
+++ b/.gitmodules
@ -1,6 +1,6 @@
 [submodule "xml-types-pickle"]
        path = xml-types-pickle
        url = git@github.com:Philonous/xml-types-pickle.git
 [submodule "stringprep-hs"]
 	path = stringprep-hs
 	url = git@github.com:Philonous/stringprep-hs.git
 [submodule "xml-picklers"]
 	path = xml-picklers
 	url = git@github.com:Philonous/xml-picklers.git
--- a/1
+++ b/1
@ -0,0 +1 @@
 Subproject commit 1117559380711ed30d1b83a9fcfc636e20be2fd5
--- a/1
+++ b/1
@ -1 +0,0 @@
 Subproject commit d0afdfea348e7dac04a13b946775be8e0feb2209
		`@ -0,0 +1 @@`
							`Subproject commit 1117559380711ed30d1b83a9fcfc636e20be2fd5`
		`@ -1 +0,0 @@`
			`Subproject commit d0afdfea348e7dac04a13b946775be8e0feb2209`