Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed hard tabs from text (not pattern);
authorwenzelm
Fri, 20 Nov 2009 17:56:06 +0100
changeset 33824 725fc4316db8
parent 33823 24090eae50b6
child 33825 5dac897d91ce
removed hard tabs from text (not pattern);
src/Tools/WWW_Find/lib/Tools/wwwfind file | annotate | diff | comparison | revisions 
--- a/src/Tools/WWW_Find/lib/Tools/wwwfind	Fri Nov 20 16:08:14 2009 +0100
+++ b/src/Tools/WWW_Find/lib/Tools/wwwfind	Fri Nov 20 17:56:06 2009 +0100
@@ -18,7 +18,7 @@
   echo "    status       show www and scgi port statuses"
   echo
   echo "  Options are:"
-  echo "    -l		 make log file"
+  echo "    -l           make log file"
   echo "    -c           specify lighttpd config file"
   echo "                 (default: $WWWCONFIG)"
   echo
isabelle