#11: finish rename

2012-05-02 07:54:45 +02:00 · 2012-05-02 07:54:45 +02:00 · 0621435da0
parent 8b77dea645 0a47ffc1b1
commit 0621435da0
1 changed files with 1 additions and 1 deletions
--- a/commit.ref
+++ b/commit.ref
@ -1 +1 @@
-Subproject commit d94e0c5bfa78ec57d5d1cdaa554fc8a20d18781f
+Subproject commit 0a47ffc1b185e7b08e00bb75bd1e17d082d65bb4