diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-07-05 21:59:40 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-07-05 21:59:40 +0200 |
commit | 7247d3f1ff651bd71a4e8bc287422be4845bb730 (patch) | |
tree | 68fdb05c59ef04b6104dd600502755b02be9fa6c /.gitignore | |
parent | 03ca3c27142db7182a14a4e7096394f5b7225340 (diff) | |
download | gnunet-7247d3f1ff651bd71a4e8bc287422be4845bb730.tar.gz gnunet-7247d3f1ff651bd71a4e8bc287422be4845bb730.zip |
style fix: use correct type
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions