From f13b7029e9af43282ebe6c2e9bb4dd749c8e450a Mon Sep 17 00:00:00 2001
From: Oleg Morozenkov <m@oleg.rocks>
Date: Mon, 23 Jul 2018 02:09:18 +0300
Subject: Move docs to gh-pages branch

---
 docs/group__tools.js | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 docs/group__tools.js

(limited to 'docs/group__tools.js')

diff --git a/docs/group__tools.js b/docs/group__tools.js
deleted file mode 100644
index 08a877d..0000000
--- a/docs/group__tools.js
+++ /dev/null
@@ -1,5 +0,0 @@
-var group__tools =
-[
-    [ "FileTools", "namespace_file_tools.html", null ],
-    [ "StringTools", "namespace_string_tools.html", null ]
-];
\ No newline at end of file
-- 
cgit v1.2.3