Script to fix license headers and copyrights in Java sources
[jgit.git] / tools / 
tree9bafab9accd5ce0ec5e2b50d1fc470be32a73177
drwxr-xr-x   ..
-rw-r--r-- 28523 eclipse-JGit-Format.xml
-rwxr-xr-x 8693 fix-headers.pl
-rw-r--r-- 496 fix-headers.tst
-rw-r--r-- 2343 graft-old-history.sh
-rw-r--r-- 2896 rewrite-history.sh
-rw-r--r-- 2811 version.sh