From fcb167a70c193c36b5283bbc8c208a0564e77493 Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Mon, 26 Sep 2016 18:07:57 +0200 Subject: moving help to the help repo --- help/common/header.inc | 47 ----------------------------------------------- 1 file changed, 47 deletions(-) delete mode 100644 help/common/header.inc (limited to 'help/common/header.inc') diff --git a/help/common/header.inc b/help/common/header.inc deleted file mode 100644 index 86aa7896..00000000 --- a/help/common/header.inc +++ /dev/null @@ -1,47 +0,0 @@ - - - - - - - - - - - - - - - - - - - - -- cgit v1.2.3