Sign in
gerrit
/
jgit
/
47207e98d4c0bb4ffdbaef0d44239c2d43388ee8
/
.
/
org.eclipse.jgit
/
plugin.properties
blob: 3ce67096904740b99f8e1fd8eb76b64c28ed68fd [
file
] [
log
] [
blame
]
Matthias Sohn
f5f1536
2011-05-31 22:53:53 +0200
[
diff
] [
blame
]
1
plugin_name
=
JGit
Core
Chris Aniszczyk
f1946b0
2010-04-27 09:24:44 -0500
[
diff
] [
blame
]
2
provider_name
=
Eclipse
JGit
