diff options
author | Schanzenbach, Martin <mschanzenbach@posteo.de> | 2020-05-06 11:54:44 +0200 |
---|---|---|
committer | Schanzenbach, Martin <mschanzenbach@posteo.de> | 2020-05-06 11:54:44 +0200 |
commit | 331a6079913db5e630c113b0e022c9587499d177 (patch) | |
tree | b2f5445b9dd0382eac1082a8bbc25b4cc5c5337a /src/include/gnunet_util_lib.h | |
parent | e7c277845d37d7e655e65f2289e91305cbbe8f09 (diff) | |
download | gnunet-331a6079913db5e630c113b0e022c9587499d177.tar.gz gnunet-331a6079913db5e630c113b0e022c9587499d177.zip |
ignore tautologies; check is necessary
Diffstat (limited to 'src/include/gnunet_util_lib.h')
0 files changed, 0 insertions, 0 deletions