From fb40644c42e91a6a46ee57d38555266edb49bef2 Mon Sep 17 00:00:00 2001 From: Florian Kissling Date: Tue, 28 Apr 2015 04:01:33 +0200 Subject: [PATCH] Add tags. --- docs/_includes/nav/options.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_includes/nav/options.html b/docs/_includes/nav/options.html index c9ee5be7..41436f2b 100644 --- a/docs/_includes/nav/options.html +++ b/docs/_includes/nav/options.html @@ -3,7 +3,7 @@
  • Core Options