chiark / gitweb /
jenkins-build-makebuildserver: com.amaze.filemanager instead of org.xcsoar
authorHans-Christoph Steiner <hans@eds.org>
Tue, 15 Mar 2016 12:47:56 +0000 (13:47 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 15 Mar 2016 12:47:56 +0000 (13:47 +0100)
commitb5cc35c44f4bfdabd13684b49626bd40fd758203
treef63471386ab1a62186dd9421601bddd18a8d8f11
parentebc8ffa7d02bed5b01cead2bc9f70b6d592b3b68
jenkins-build-makebuildserver: com.amaze.filemanager instead of org.xcsoar

org.xcsoar hosts its own git repo.  Self-hosted git repos can be flaky, and
they are blocked by the Guardian Project jenkins server, so use an app from
github.com instead.
jenkins-build-makebuildserver