summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2022-12-01 13:53:30 +0100
committerErich Eckner <git@eckner.net>2022-12-01 13:53:30 +0100
commitdc6b097a72caee6e70d08985a3297ada39bc927d (patch)
tree4c7cde8d618c2d2975b352b70e56d646be7d89e1 /.gitignore
parentae25a064afe638bfcbd91e4ef334bc4e9445e24d (diff)
downloadcrux-ports-dc6b097a72caee6e70d08985a3297ada39bc927d.tar.xz
new ports uploaded
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions