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 /doc_src/history.txt | |
| 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
Diffstat (limited to 'doc_src/history.txt')
| -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> |