diff --git a/.gitmodules b/.gitmodules index 5f1db7e..6b28fe1 100644 --- 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 diff --git a/xml-picklers b/xml-picklers new file mode 160000 index 0000000..1117559 --- /dev/null +++ b/xml-picklers @@ -0,0 +1 @@ +Subproject commit 1117559380711ed30d1b83a9fcfc636e20be2fd5 diff --git a/xml-types-pickle b/xml-types-pickle deleted file mode 160000 index d0afdfe..0000000 --- a/xml-types-pickle +++ /dev/null @@ -1 +0,0 @@ -Subproject commit d0afdfea348e7dac04a13b946775be8e0feb2209