diff options
-rw-r--r-- | .gitmodules | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index 88d819a8..ce4a8e65 100644 --- a/.gitmodules +++ b/.gitmodules @@ -12,4 +12,3 @@ [submodule "inc"] path = inc url = https://git.gnunet.org/www_shared.git - branch = default |