tree 938c9841b15c79f4abe3f4d4cd0fd092990abbf0
parent b6af30e13cd853d0523443cf1b3afb36f302b441
author David Ostrovsky <david@ostrovsky.org> 1392678997 +0100
committer David Ostrovsky <david.ostrovsky@gmail.com> 1393889686 +0000

Download commands: Add JGit archive

Since JGit 3.1 archive command was implemented. Add it to download
drop down as new line.

The following libraries are introduced in this change:

* jgit-archive (Apache 2)
* commons-compress (Apache 2)
* tukaani-xz (Public domain)

Change-Id: I5f61aac8c434414c73585a9320e84f4430dd111d