diff options
Diffstat (limited to 'gsearchtool')
-rw-r--r-- | gsearchtool/mate-search-tool.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gsearchtool/mate-search-tool.1 b/gsearchtool/mate-search-tool.1 index b238d395..686a8cc9 100644 --- a/gsearchtool/mate-search-tool.1 +++ b/gsearchtool/mate-search-tool.1 @@ -26,7 +26,7 @@ apply additional search options. uses the find, grep, and locate UNIX commands. The case sensitivity of the search depends on your operating system. For example, on Linux, the find, grep, and locate -commands support the -i option, so all searches are +commands support the \-i option, so all searches are case-insensitive. For full documentation see the |