summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2021-01-29 21:36:12 +0100
committerErich Eckner <git@eckner.net>2021-01-29 21:36:12 +0100
commit915610dc10d67fff49960924066e23071230c2a9 (patch)
treeb79bfe57707be8a0dbe7a739e0159bf537ffa6b8 /.gitignore
parentdbe256d09fd7dbeffa18a1c6b90634a1e042655d (diff)
downloadcrux-ports-915610dc10d67fff49960924066e23071230c2a9.tar.xz
wurzel-*/lastVersion.sh: removed, indexining is disabled
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions