summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorSchanzenbach, Martin <mschanzenbach@posteo.de>2020-05-06 11:54:44 +0200
committerSchanzenbach, Martin <mschanzenbach@posteo.de>2020-05-06 11:54:44 +0200
commit331a6079913db5e630c113b0e022c9587499d177 (patch)
treeb2f5445b9dd0382eac1082a8bbc25b4cc5c5337a /src
parente7c277845d37d7e655e65f2289e91305cbbe8f09 (diff)
ignore tautologies; check is necessary
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions