]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
projects / thirdparty / gnutls.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: dcec82c 3492c47)
Merge branch 'tmp-lgtm' into 'master'
authorTim Rühsen <tim.ruehsen@gmx.de>
Sat, 8 Feb 2020 16:59:35 +0000 (16:59 +0000)
committerTim Rühsen <tim.ruehsen@gmx.de>
Sat, 8 Feb 2020 16:59:35 +0000 (16:59 +0000)
.lgtm.yml: Fix --disable-documentation to --disable-doc [skip ci]

See merge request gnutls/gnutls!1191


Trivial merge
Mirror of https://gitlab.com/gnutls/gnutls.git