From 8f88fcedd601c0033b4469b66626a83011879baf Mon Sep 17 00:00:00 2001 From: Aldo Cortesi Date: Wed, 22 Jan 2014 13:33:02 +1300 Subject: Move the doc tree out into its own repo. --- doc-src/_nav.html | 48 ------------------------------------------------ 1 file changed, 48 deletions(-) delete mode 100644 doc-src/_nav.html (limited to 'doc-src/_nav.html') diff --git a/doc-src/_nav.html b/doc-src/_nav.html deleted file mode 100644 index b256f47f..00000000 --- a/doc-src/_nav.html +++ /dev/null @@ -1,48 +0,0 @@ - -- cgit v1.2.3