deprecate ill-defined set_nick API
[oweals/gnunet.git] / contrib / scripts / check-texinfo.awk.in
2019-12-04 ng0check-texinfo: add "the the" 0.11
2019-12-01 ng0check-texinfo.awk: move comments to the moved code.
2019-12-01 ng0convert texinfo checks to proper awk script, add detect...