From f13b7029e9af43282ebe6c2e9bb4dd749c8e450a Mon Sep 17 00:00:00 2001 From: Oleg Morozenkov Date: Mon, 23 Jul 2018 02:09:18 +0300 Subject: Move docs to gh-pages branch --- docs/search/groups_2.js | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 docs/search/groups_2.js (limited to 'docs/search/groups_2.js') diff --git a/docs/search/groups_2.js b/docs/search/groups_2.js deleted file mode 100644 index 1f7368f..0000000 --- a/docs/search/groups_2.js +++ /dev/null @@ -1,5 +0,0 @@ -var searchData= -[ - ['tools',['Tools',['../group__tools.html',1,'']]], - ['types',['Types',['../group__types.html',1,'']]] -]; -- cgit v1.2.3