diff options
author | David A. Madore <david+git@madore.org> | 2023-12-03 11:09:18 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2023-12-03 11:09:18 +0100 |
commit | b620eb841333f53f725cbad829e57142a0c72e73 (patch) | |
tree | 8bb024248f4b06d7cb5bfa9110838d71f45f703b /vc | |
parent | 7642c21489594995bc78be6afe22cbae30239368 (diff) | |
download | inf110-lfi-b620eb841333f53f725cbad829e57142a0c72e73.tar.gz inf110-lfi-b620eb841333f53f725cbad829e57142a0c72e73.tar.bz2 inf110-lfi-b620eb841333f53f725cbad829e57142a0c72e73.zip |
A few more important tautologies.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions