diff --git a/silver b/silver deleted file mode 120000 index fa266af11..000000000 --- a/silver +++ /dev/null @@ -1 +0,0 @@ -../silver \ No newline at end of file diff --git a/silver b/silver new file mode 160000 index 000000000..10b1b26a2 --- /dev/null +++ b/silver @@ -0,0 +1 @@ +Subproject commit 10b1b26a20957e5f000bf1bbcd4017145148afd7