che-server/wsagent/che-core-git-impl-jgit
Roman Iuvshin 99b6beb356 [maven-release-plugin] prepare for next development iteration 2016-08-01 10:32:16 +00:00
..
src CHE-1935; add custom User-Agent header value for JGit; (#1936) 2016-07-26 14:34:01 +03:00
pom.xml [maven-release-plugin] prepare for next development iteration 2016-08-01 10:32:16 +00:00