summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-06-24 22:50:07 +0200
committerErich Eckner <git@eckner.net>2020-06-24 22:50:07 +0200
commit7f52c0d780ce4f13f79ce57ad86348d2181b54c6 (patch)
tree602cdc07a9fc930c8c00ec5f10bc91d2a49f6b5e /.gitignore
parent31f89aef03502e5e4737c36f801e185f24a311d1 (diff)
downloadcrux-ports-7f52c0d780ce4f13f79ce57ad86348d2181b54c6.tar.xz
new ports uploaded
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions