]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph-build.git/commitdiff
Merge pull request #11 from kdreyer-inktank/jenkins-debian-diffs
authorAlfredo Deza <alfredo@deza.pe>
Thu, 13 Mar 2014 14:39:38 +0000 (10:39 -0400)
committerAlfredo Deza <alfredo@deza.pe>
Thu, 13 Mar 2014 14:39:38 +0000 (10:39 -0400)
jenkins: optionally skip Debian package diffs


Trivial merge