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.
tuned;
authorwenzelm
Tue, 06 May 2014 16:08:07 +0200
changeset 56876 f12f7c6dd83d
parent 56875 f6259d6fb565
child 56877 4e9d2eab9cfa
tuned;
src/Tools/jEdit/etc/options file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/etc/options	Tue May 06 16:05:14 2014 +0200
+++ b/src/Tools/jEdit/etc/options	Tue May 06 16:08:07 2014 +0200
@@ -52,7 +52,7 @@
   -- "insert uniquely completed abbreviation immediately into buffer"
 
 public option jedit_completion_path_ignore : string = "*~:*.marks:*.orig:*.rej:.DS_Store"
-  -- "glob patterns to ignore in path completion (separated by colons)"
+  -- "glob patterns to ignore in file-system path completion (separated by colons)"
 
 
 section "Spell Checker"
isabelle