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