diff options
author | Torsten Grust <torsten.grust@gmail.com> | 2012-06-11 13:46:47 +0200 |
---|---|---|
committer | Torsten Grust <torsten.grust@gmail.com> | 2012-06-11 13:46:47 +0200 |
commit | aad27a7a68351fc998efd6d164638e5c44c12cbd (patch) | |
tree | 294a0665449c55e8d09caecf001f7507ce759e4c | |
parent | 4ac01154d9eeb1ca0a5d46a5cca50c6537b9c801 (diff) |
Fixed closing <pre> 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
-rw-r--r-- | doc_src/history.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc_src/history.txt b/doc_src/history.txt index fc6dd13b..7b00bea6 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. -<pre> +</pre> |