From d72a56f37f59d0700d163b67d5af78fc545c91f7 Mon Sep 17 00:00:00 2001 From: Dougal Matthews Date: Fri, 31 Oct 2014 15:02:47 +0000 Subject: Move the docs theme out of the docs folder. --- docs_theme/nav.html | 45 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) create mode 100644 docs_theme/nav.html (limited to 'docs_theme/nav.html') diff --git a/docs_theme/nav.html b/docs_theme/nav.html new file mode 100644 index 00000000..a7a72d68 --- /dev/null +++ b/docs_theme/nav.html @@ -0,0 +1,45 @@ + + -- cgit v1.2.3