Merge "Add check for case where repository's full branch is null "
[egit/eclipse.git] / tools / 
tree3c41ff725cee89257ffaf09b8dfb52c23661a448
drwxr-xr-x   ..
-rw-r--r-- 28523 eclipse-JGit-Format.xml
-rw-r--r-- 862 graft-old-history.sh
-rwxr-xr-x 4095 version.sh