From 003043c4d677a9b680e699951c8e862ceedccfce Mon Sep 17 00:00:00 2001
From: seaweedchan <saudrapsmann@gmail.com>
Date: Wed, 14 Aug 2013 03:16:29 -0700
Subject: [PATCH] Missed this

---
 html/General/Header.html | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 html/General/Header.html

diff --git a/html/General/Header.html b/html/General/Header.html
deleted file mode 100644
index 2e0088f42..000000000
--- a/html/General/Header.html
+++ /dev/null
@@ -1,9 +0,0 @@
-<div id="header-bar" class="dialog">
-  <span id="shortcuts" class="brackets-wrap"></span>
-  <span id="board-list">
-    <span id="custom-board-list"></span>
-    <span id="full-board-list" hidden></span>
-  </span>
-  <div id="toggle-header-bar" title="Toggle the header auto-hiding."></div>
-</div>
-<div id="notifications"></div>