diff options
| author | Ian Lewis <ianmlewis@gmail.com> | 2019-10-18 00:19:24 -0400 |
|---|---|---|
| committer | Ian Lewis <ianlewis@google.com> | 2019-11-13 13:03:16 -0800 |
| commit | a2b055de52cb90180ad57c26119fe72e61d70494 (patch) | |
| tree | a156c39ba5e044fa42600a6c2d7ddd7dd91c350c /themes/docsy/userguide/.gitmodules | |
| parent | cf5b8ec088eac99ede97a6c9e381485695638dee (diff) | |
Updated to Docsy HEAD
This updates the vendored docsy to https://github.com/google/docsy/tree/1a09abe6d7eaf02e44f79de3eadf8178a3792e81
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 000000000..a1524f2cb --- /dev/null +++ b/themes/docsy/userguide/.gitmodules @@ -0,0 +1,4 @@ + +[submodule "themes/docsy"] + path = themes/docsy + url = https://github.com/google/docsy |