jgit/tools
Shawn Pearce fe248d24db Remove fix-headers and rewrite-history
These scripts were created to bootstrap the initial contribution for
Eclipse using information from the pre-Eclipse history. We are well
past the point where the project will rewrite history in order to
correct copyright statements, so these tools no longer make sense
to keep in the tip of the tree.

Change-Id: If68419ead0766035d17a21a53a3e5e761eaa70c4
2013-06-19 15:29:15 -07:00
..
FILE_HEADER Clean up LICENSE file 2010-07-02 14:52:49 -07:00
eclipse-JGit-Format.xml Standardize the source code formatter for Eclipse 2009-10-05 12:17:11 -07:00
graft-old-history.sh Utility to graft old JGit history onto repository 2009-09-29 17:03:34 -07:00
version.sh Fix version.sh to not overwrite ${project.version} 2013-06-04 22:28:01 +02:00