From 9038109bd65fca045efce22c6c6b701231ebed35 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michael=20Gro=C3=9Fe?= Date: Tue, 24 Apr 2018 15:31:08 +0200 Subject: [PATCH] fix: remove non-existing include, add placeholder comment --- tpl/nav-status.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tpl/nav-status.php b/tpl/nav-status.php index 7085553..32888a1 100755 --- a/tpl/nav-status.php +++ b/tpl/nav-status.php @@ -2,5 +2,5 @@ if (!defined('DOKU_INC')) die(); ?>