deprecate ill-defined set_nick API
[oweals/gnunet.git] / contrib / scripts / .gitignore
1 gnunet-chk.py
2 removetrailingwhitespace.py
3 check-texinfo.awk