diff options
author | ng0 <ng0@n0.is> | 2019-12-01 23:19:58 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-12-01 23:19:58 +0000 |
commit | d9132e1cba66b5455a627251f377cd95eb008fc1 (patch) | |
tree | d826c9e7793e6c0161d40bc56b577448f22c653c /contrib/scripts/.gitignore | |
parent | 93330d9c6d8d5c599a2f12d641c5029aab91d3ad (diff) | |
download | gnunet-d9132e1cba66b5455a627251f377cd95eb008fc1.tar.gz gnunet-d9132e1cba66b5455a627251f377cd95eb008fc1.zip |
convert texinfo checks to proper awk script, add detection for awk/gawk,
remove obsolete code.
Diffstat (limited to 'contrib/scripts/.gitignore')
-rw-r--r-- | contrib/scripts/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/scripts/.gitignore b/contrib/scripts/.gitignore index 547c89185..3b34b9b69 100644 --- a/contrib/scripts/.gitignore +++ b/contrib/scripts/.gitignore | |||
@@ -1,2 +1,3 @@ | |||
1 | gnunet-chk.py | 1 | gnunet-chk.py |
2 | removetrailingwhitespace.py | 2 | removetrailingwhitespace.py |
3 | check-texinfo.awk | ||