summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2021-01-27 23:20:22 +0100
committerErich Eckner <git@eckner.net>2021-01-27 23:20:22 +0100
commitdbe256d09fd7dbeffa18a1c6b90634a1e042655d (patch)
tree655b2ce7b53ae0fe35b95bd7044454093e703904 /.gitignore
parent011900f3b34d5d288fb683e0489505cd1c34cbd7 (diff)
downloadcrux-ports-dbe256d09fd7dbeffa18a1c6b90634a1e042655d.tar.xz
new ports uploaded
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions