summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-09-22 23:41:26 +0200
committerErich Eckner <git@eckner.net>2019-09-22 23:41:26 +0200
commit99b27cbfe61ee342edd739ba279da660d188bb36 (patch)
treeec893580490538270e6ba0223ccde60fa33fddfb /.gitignore
parent79e5c5b35158d0a08c67b1ea3989c817164977ea (diff)
downloadcrux-ports-99b27cbfe61ee342edd739ba279da660d188bb36.tar.xz
new ports uploaded
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions