diff options
| author | Dimitri Staessens <[email protected]> | 2019-10-06 21:10:46 +0200 |
|---|---|---|
| committer | Dimitri Staessens <[email protected]> | 2019-10-06 21:10:46 +0200 |
| commit | 568553394d0a8b34668a75c9839a0f1f426469b2 (patch) | |
| tree | 175c08844f05611b059ba6900fb6519dbbc735d2 /themes/docsy/userguide/.gitmodules | |
| parent | d5d6f70371958eec0679831abd283498ff2731e5 (diff) | |
| download | website-568553394d0a8b34668a75c9839a0f1f426469b2.tar.gz website-568553394d0a8b34668a75c9839a0f1f426469b2.zip | |
theme: Switch to docsy theme
Diffstat (limited to 'themes/docsy/userguide/.gitmodules')
| -rw-r--r-- | themes/docsy/userguide/.gitmodules | 4 |
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 |