diff options
author | Ketan Padegaonkar <KetanPadegaonkar@gmail.com> | 2011-04-25 10:24:48 -0700 |
---|---|---|
committer | Chris Aniszczyk <caniszczyk@gmail.com> | 2011-05-02 09:12:55 -0500 |
commit | fdeb3272705865e886cc0d47de18c967281ec6bb (patch) | |
tree | e7c7ca25bff25a1ac12c95498241a9aa6eff29fc /org.eclipse.jgit.ant/plugin.properties | |
parent | d05d351f3be5207a168c43b7cc52404195c2d567 (diff) | |
download | jgit-fdeb3272705865e886cc0d47de18c967281ec6bb.tar.gz jgit-fdeb3272705865e886cc0d47de18c967281ec6bb.zip |
Add org.eclipse.jgit.ant
Adds the initial project and a GitInitTask.
Bug: 321237
Change-Id: I06b94e0b42b20ecf51f86845e47d49913f3513c4
Signed-off-by: Chris Aniszczyk <caniszczyk@gmail.com>
Diffstat (limited to 'org.eclipse.jgit.ant/plugin.properties')
-rw-r--r-- | org.eclipse.jgit.ant/plugin.properties | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/org.eclipse.jgit.ant/plugin.properties b/org.eclipse.jgit.ant/plugin.properties new file mode 100644 index 0000000000..6f2ce38fcb --- /dev/null +++ b/org.eclipse.jgit.ant/plugin.properties @@ -0,0 +1,3 @@ +#Properties file for org.eclipse.jgit.ant +Bundle-Name = JGit Ant Tasks (Incubation) +Provider-Name = Eclipse JGit
\ No newline at end of file |