Merge branch 'stable-5.1'
[egit/eclipse.git] / tools / 
tree18ab4b194ec96782a95cbf57a0cfe9386c3548e7
drwxr-xr-x   ..
-rw-r--r-- 28523 eclipse-JGit-Format.xml
-rw-r--r-- 9589 egit-developer-tools.p2f
-rw-r--r-- 862 graft-old-history.sh
drwxr-xr-x - oomph
-rwxr-xr-x 779 release.sh
-rwxr-xr-x 5035 version.sh