author | wenzelm |
Thu, 04 May 2017 14:57:31 +0200 (2017-05-04) | |
changeset 65716 | 678e00851cfb |
parent 64605 | 9c1173a7e4cb |
child 65744 | 92028ab1c3d7 |
permissions | -rw-r--r-- |
syntax: glob *~ *.class *.jar *.marks *.orig *.rej .DS_Store .swp syntax: regexp ^contrib ^heaps/ ^browser_info/ ^doc/.*\.dvi ^doc/.*\.eps ^doc/.*\.pdf ^doc/.*\.ps ^src/Tools/jEdit/dist/ ^src/Tools/VSCode/out/ ^src/Tools/VSCode/extension/node_modules/ ^src/Tools/VSCode/extension/protocol.log ^Admin/jenkins/ci-extras/target/ ^stats/