Commit | Date | |
---|---|---|
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 |