aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2022-09-20 23:18:46 +0200
committerChristian Grothoff <christian@grothoff.org>2022-09-20 23:18:46 +0200
commita2c179373e9493506cbae5a6a51c015f0403b662 (patch)
tree0df8b80b735877f5caa645b0ec1dda39dc47ba72 /.gitignore
parentbf85d6f3d14bf510f23b4cef5414e2219bb3c91d (diff)
-fix issue on Florian's system
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions