From a2b055de52cb90180ad57c26119fe72e61d70494 Mon Sep 17 00:00:00 2001
From: Ian Lewis <ianmlewis@gmail.com>
Date: Fri, 18 Oct 2019 00:19:24 -0400
Subject: Updated to Docsy HEAD

This updates the vendored docsy to https://github.com/google/docsy/tree/1a09abe6d7eaf02e44f79de3eadf8178a3792e81
---
 themes/docsy/userguide/.gitmodules | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 themes/docsy/userguide/.gitmodules

(limited to 'themes/docsy/userguide/.gitmodules')

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
-- 
cgit v1.2.3