github
/
jgit
mirror of https://gitee.com/github-mirror-repo/jgit.git
1
0
Fork 0
Code Issues Releases Wiki Activity
Browse Source

Update developers list in pom.xml 

Change-Id: If391947957918a456a8f9eb315c95bb669a413b4
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
stable-4.11
David Pursehouse 7 years ago
parent
cd3e6e24a9
commit
d20363b114
1 changed files with 6 additions and 0 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 6
      pom.xml

6
pom.xml
Unescape View File

@ -88,6 +88,9 @@
<developer> <developer>
<name>Dave Borowitz</name> <name>Dave Borowitz</name>
</developer> </developer>
<developer>
<name>David Pursehouse</name>
</developer>
<developer> <developer>
<name>Gunnar Wagenknecht</name> <name>Gunnar Wagenknecht</name>
</developer> </developer>
@ -118,6 +121,9 @@
<developer> <developer>
<name>Stefan Lay</name> <name>Stefan Lay</name>
</developer> </developer>
<developer>
<name>Thomas Wolf</name>
</developer>
</developers> </developers>
<mailingLists> <mailingLists>

Write Preview
Loading…
Cancel
Save