Add support for creating detached heads
[jgit.git] / org.eclipse.jgit.pgm / 
tree550c525ced8d56c59b8a9c51687c3f68956cb491
drwxr-xr-x   ..
-rw-r--r-- 367 .classpath
-rw-r--r-- 13 .gitignore
-rw-r--r-- 653 .project
drwxr-xr-x - .settings
drwxr-xr-x - META-INF
-rw-r--r-- 111 build.properties
-rw-r--r-- 2670 jgit.sh
-rw-r--r-- 83 plugin.properties
-rw-r--r-- 6312 pom.xml
drwxr-xr-x - src