aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJacques Comeaux <jacquesrcomeaux@protonmail.com>2024-02-19 12:52:36 -0600
committerJacques Comeaux <jacquesrcomeaux@protonmail.com>2024-02-19 12:52:36 -0600
commitf5f3a900d097b26363627d7e1a6a673667fec807 (patch)
tree3a38ccdc778d6a690bc5d1771a457e2fe00eb31a /.gitignore
parent14a4f246b61e763cea32281e3a5f73bde38fe5d4 (diff)
Add glue function for finite sets
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions