diff options
| author | corvid <corvid@lavabit.com> | 2012-09-04 15:09:40 +0000 |
|---|---|---|
| committer | corvid <corvid@lavabit.com> | 2012-09-04 15:09:40 +0000 |
| commit | 6e689685ffd6dab14f35746a6ecbaba467bce5fd (patch) | |
| tree | 8a0c84c7eadf068217a05cf060fc281a4081d439 | |
| parent | 0a8f45876802ce036b11f287ed3d693ff128c196 (diff) | |
small cleanup in user_help
| -rw-r--r-- | doc/user_help.html | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/user_help.html b/doc/user_help.html index acf129f4..b8c3e580 100644 --- a/doc/user_help.html +++ b/doc/user_help.html @@ -121,9 +121,8 @@ <tr><td bgcolor="#70a0c0"> <p> - This one is very useful; - it can be found in the right-mouse-button menu<br> - Find text is tuned for speed so don't hesitate to use it even for minimal + This one is very useful; it can be found in the right-mouse-button menu. + Find text is tuned for speed, so don't hesitate to use it even for minimal searches. <p> <u>Semantics:</u> |