aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2025-03-12 23:24:33 +0100
committerTom Smeding <tom@tomsmeding.com>2025-03-12 23:24:33 +0100
commitbcda5b7eb20874f948fbdc23b6daa3ebb792ffe0 (patch)
treef2ea02510688f3b8684626673f5ad0572e4c65bd /.gitignore
parent11c3fda9ff63c466566e1f1375f5d8ae03833c90 (diff)
Remove redundant constraints on arith instances
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions