chiark / gitweb /
package/ci: download doxygen from elsewhere.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 8 Oct 2020 11:15:30 +0000 (13:15 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 8 Oct 2020 11:15:30 +0000 (13:15 +0200)
commitc4e056e6043c251dc0c9921c33bf4621227c9a04
tree5ef7a8546fb664128c8f2c848ac37d61d6474486
parent161add73e6fab7b15cb96ffd88af2793e514dfd8
package/ci: download doxygen from elsewhere.

I don't have time to plow through new bugs in 1.8.18, 19 and 20, so
DON'T delete the old versions FFS.
package/ci/travis.yml