summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2024-05-04 11:49:43 +0200
committerErich Eckner <git@eckner.net>2024-05-04 11:49:43 +0200
commit9de3be7ee45393e230e2fa4069d6cf81a4d05dc3 (patch)
tree313e35f453dc11c476a4b3260a24750042dc09ed /.gitignore
parentdee274bb5a0e90434d78b0b41372e45e394ee068 (diff)
downloadcrux-ports-9de3be7ee45393e230e2fa4069d6cf81a4d05dc3.tar.xz
cgal: 5.5.2 -> 5.6.1
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions