From cf06dcb0650f603ae3d634634d81f9ec78d21937 Mon Sep 17 00:00:00 2001 From: Aqua-sama Date: Thu, 21 Dec 2017 17:52:56 +0100 Subject: Edited documentation - Search highlighting is removed when you close the search box - Fixed PKGBUILD not working - PKGBUILD can now pick compiler and optimization --- docs/manual/Introduction.md | 1 - 1 file changed, 1 deletion(-) delete mode 100644 docs/manual/Introduction.md (limited to 'docs/manual/Introduction.md') diff --git a/docs/manual/Introduction.md b/docs/manual/Introduction.md deleted file mode 100644 index e10b99d..0000000 --- a/docs/manual/Introduction.md +++ /dev/null @@ -1 +0,0 @@ -# Introduction -- cgit v1.2.1