check-texinfo: add "the the" 0.11
authorng0 <ng0@n0.is>
Wed, 4 Dec 2019 19:18:15 +0000 (19:18 +0000)
committerng0 <ng0@n0.is>
Wed, 4 Dec 2019 19:18:15 +0000 (19:18 +0000)
commit7bb0b3291244286a114e652949a181e31f70364f
tree4d906325727193e80031aa830ec2238d1dd8d813
parent6418d6539659ae1bc372406e06f01b8c50a63098
check-texinfo: add "the the"
contrib/scripts/check-texinfo.awk.in