aboutsummaryrefslogtreecommitdiff
path: root/themes/docsy/userguide/.gitmodules
diff options
context:
space:
mode:
authorDimitri Staessens <dimitri@ouroboros.rocks>2019-10-06 21:10:46 +0200
committerDimitri Staessens <dimitri@ouroboros.rocks>2019-10-06 21:10:46 +0200
commit568553394d0a8b34668a75c9839a0f1f426469b2 (patch)
tree175c08844f05611b059ba6900fb6519dbbc735d2 /themes/docsy/userguide/.gitmodules
parentd5d6f70371958eec0679831abd283498ff2731e5 (diff)
downloadwebsite-568553394d0a8b34668a75c9839a0f1f426469b2.tar.gz
website-568553394d0a8b34668a75c9839a0f1f426469b2.zip
theme: Switch to docsy theme
Diffstat (limited to 'themes/docsy/userguide/.gitmodules')
-rw-r--r--themes/docsy/userguide/.gitmodules4
1 files changed, 4 insertions, 0 deletions
diff --git a/themes/docsy/userguide/.gitmodules b/themes/docsy/userguide/.gitmodules
new file mode 100644
index 0000000..a1524f2
--- /dev/null
+++ b/themes/docsy/userguide/.gitmodules
@@ -0,0 +1,4 @@
+
+[submodule "themes/docsy"]
+ path = themes/docsy
+ url = https://github.com/google/docsy