Diff of /third-party/org.eclipse.jgit/plugin.properties [000000] .. [dc71c3]

  Switch to side-by-side view 

--- a
+++ b/third-party/org.eclipse.jgit/plugin.properties
@@ -0,0 +1,2 @@
+plugin_name=JGit Core
+provider_name=Eclipse JGit