David Pursehouse 481ba357bd Set version to 2.13.5 ...

Change-Id: I120f598962d507db0a15121cad262f27475a71d9

2017-01-06 09:47:10 +09:00

..

src/main

Merge branch 'stable-2.12'

2016-08-18 09:09:43 -04:00

BUCK

Buck: Remove jgit cell

2016-04-20 22:02:49 +02:00

pom.xml

Set version to 2.13.5

2017-01-06 09:47:10 +09:00