Merge branch 'stable-5.10'
[egit/eclipse.git] / tools / 
tree2e1ff8252cf7fc0c51b9383b4f762d6347114c4d
drwxr-xr-x   ..
-rw-r--r-- 28523 eclipse-JGit-Format.xml
-rw-r--r-- 9604 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 4790 version.sh