summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2024-11-23 21:14:30 +0100
committerErich Eckner <git@eckner.net>2024-11-23 21:14:30 +0100
commitfadecd0d0c039cdbe919ea505972a115521df46d (patch)
tree03201edbf4ce20aff532a116e7dabb78558878e5 /.gitignore
parent0f26e52cc083a6da9dc92061c625989cdb252147 (diff)
downloadcrux-ports-fadecd0d0c039cdbe919ea505972a115521df46d.tar.xz
check-kernel: 0.5.12 -> 0.6.2
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions