Merge changes I057c782c,Idff096ce,Ic9be0280,I07014d1b,Id8a76ee7,I9080f3dd,I8c1a0eb8...
[jgit.git] / tools / 
treeb1b7ad4e7990f5ffb9a3c90655df369dec7ae919
drwxr-xr-x   ..
-rw-r--r-- 28523 eclipse-JGit-Format.xml
-rw-r--r-- 2343 graft-old-history.sh