diff options
author | ng0 <ng0@n0.is> | 2019-03-05 21:21:40 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-03-05 21:21:40 +0000 |
commit | dd2699b541c0a0c8f1962ae1a0dcef6cd92fbc43 (patch) | |
tree | 6c191da770ac2661731e2aeed7842afc3fbe4fb8 /lint | |
parent | a61d901d0e331e4cd180303a02016dff0c4cdf56 (diff) | |
download | gnunet-dd2699b541c0a0c8f1962ae1a0dcef6cd92fbc43.tar.gz gnunet-dd2699b541c0a0c8f1962ae1a0dcef6cd92fbc43.zip |
Add initial check-texinfo rule. Maybe this should be moved to doc later on
Diffstat (limited to 'lint')
0 files changed, 0 insertions, 0 deletions