Merge pull request #104 from Teggy/master

Please consider to pull: formatting glitch in doc_src/history.txt makes Doxygen stumble
This commit is contained in:
ridiculousfish 2012-06-11 15:48:00 -07:00
commit 631d27f7a8

View file

@ -33,4 +33,4 @@ Interactively delete commands with prefix "foo".
history --delete "foo"
Delete command "foo" from history.
<pre>
</pre>