chiark / gitweb /
package/ci: use doxygen 1.8.17.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 7 May 2020 17:26:34 +0000 (19:26 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 7 May 2020 18:24:39 +0000 (20:24 +0200)
commit2f121aa830cef3709c54251a0d08006b8ab0fa7a
treed93eb871f6de83fe5d2b2400f9ea300dbc9fcfe0
parenta74bdefc58a34b8054e61e84b480ad6cf0105ad2
package/ci: use doxygen 1.8.17.

1.8.16 and older got deleted from there, so there's no other option
anyway. OTOH 1.8.18 doesn't work on Ubuntu 16.04 anymore (FFS) so I have
to stay on 1.8.17.
package/ci/travis.yml