From cc0d662fe6494890df0d56ba29e3014d5c093270 Mon Sep 17 00:00:00 2001
From: Florian Kissling <flo@6230.org>
Date: Wed, 6 May 2015 09:22:04 +0200
Subject: [PATCH] Fix ID.

---
 docs/_includes/options/setting-default-options.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/_includes/options/setting-default-options.html b/docs/_includes/options/setting-default-options.html
index f132f666..f2c74f60 100644
--- a/docs/_includes/options/setting-default-options.html
+++ b/docs/_includes/options/setting-default-options.html
@@ -1,5 +1,5 @@
 <section>
-  <h1 id id="setting-default-options">Setting default options</h1>
+  <h1 id="setting-default-options">Setting default options</h1>
 
   <p>
     In some cases, you need to set the default options for all instances of