From f24e1e0727d42291e3c625a73f4491ff717b44cc Mon Sep 17 00:00:00 2001
From: wouter <wouter@web>
Date: Sat, 1 Mar 2014 10:43:56 -0400
Subject: [PATCH] unconfuse

---
 doc/bugs/empty_div_element.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/bugs/empty_div_element.mdwn b/doc/bugs/empty_div_element.mdwn
index 7a196e438..938db3eec 100644
--- a/doc/bugs/empty_div_element.mdwn
+++ b/doc/bugs/empty_div_element.mdwn
@@ -7,7 +7,7 @@ For instance, something like this:
 
 etc. For bonus points, the number could be configurable. To avoid empty content, style.css should have something like this:
 
-    .extra {
+    .aux {
         display: none;
     }
 
-- 
2.39.2