Commit | Date | |
---|---|---|
Merge
[2d730c] by Ashim Shahi |
2014-06-18 | Tree |
Merge branch 'dev' of https://opensourceproject...
[fb10d8] by Jurgen J. Vinju |
2014-06-16 | Tree |
working towards making metrics alive again
[2c8d41] by Jurgen J. Vinju |
2014-06-16 | Tree |
Made changes so we diff the current working cop...
[7d6e06] by a.shahi@cwi.nl |
2014-04-01 | Tree |
Added checkout and diff for Git. Made diffing g...
[0e70ec] by a.shahi@cwi.nl |
2014-03-31 | Tree |
Added getDiff unimplemented method in GitWorkin...
[139453] by nikos@CS.YORK.AC.UK |
2014-03-28 | Tree |
Removed version requirement from Jgit dependency.
[5f1ef3] by nikos@CS.YORK.AC.UK |
2014-03-28 | Tree |
added commandline-based git working copy manager
[490c01] by a.shahi@cwi.nl |
2014-03-21 | Tree |