From 7689a71fa3f0e270c4900800bb08aba1b1b89209 Mon Sep 17 00:00:00 2001 From: Philipp Balzarek Date: Sun, 1 Jul 2012 21:07:44 +0200 Subject: [PATCH] change submodule xml-types-pickle to xml-picklers --- .gitmodules | 6 +++--- xml-picklers | 1 + xml-types-pickle | 1 - 3 files changed, 4 insertions(+), 4 deletions(-) create mode 160000 xml-picklers delete mode 160000 xml-types-pickle 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