diff --git a/.gitmodules b/.gitmodules index d2a4cf0d31..8b13789179 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1 @@ -[submodule "extern/shiny"] - path = extern/shiny - url = git://github.com/scrawl/shiny.git + diff --git a/extern/shiny b/extern/shiny deleted file mode 160000 index f17c4ebab0..0000000000 --- a/extern/shiny +++ /dev/null @@ -1 +0,0 @@ -Subproject commit f17c4ebab0e7a1f3bbb25fd9b3dbef2bd742536a