From aad27a7a68351fc998efd6d164638e5c44c12cbd Mon Sep 17 00:00:00 2001 From: Torsten Grust Date: Mon, 11 Jun 2012 13:46:47 +0200 Subject: [PATCH] Fixed closing 
 tag

- Was an opening tag, should have been a closing tag
- Confused Doxygen 1.8.1.1 on my machine (OS X 10.7), resulting in the fish man pages not being installed at all
---
 doc_src/history.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc_src/history.txt b/doc_src/history.txt
index fc6dd13b4..7b00bea68 100644
--- a/doc_src/history.txt
+++ b/doc_src/history.txt
@@ -33,4 +33,4 @@ Interactively delete commands with prefix "foo".
 
 history --delete "foo"
 Delete command "foo" from history.
-
+