From 2fd34faf3abb2705bb67fb75b585014078ad6638 Mon Sep 17 00:00:00 2001
From: Doug Kearns <dougkearns@gmail.com>
Date: Fri, 19 Sep 2008 09:57:56 +0000
Subject: [PATCH] remove duplicated |hint| tag

---
 locale/en-US/hints.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/locale/en-US/hints.txt b/locale/en-US/hints.txt
index a540776b..432ffbd5 100644
--- a/locale/en-US/hints.txt
+++ b/locale/en-US/hints.txt
@@ -4,7 +4,7 @@ HEADER
 
 INTRO TO BE WRITTEN...
 
-|f| |hints| +
+|f| +
 ||f\\{hint\\}||
 ________________________________________________________________________________
 Start QuickHint mode. In QuickHint mode, every hintable item (according to the