aboutsummaryrefslogtreecommitdiff
path: root/src/include/.gitignore
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2022-06-13 09:51:18 +0200
committerChristian Grothoff <christian@grothoff.org>2022-06-13 09:51:18 +0200
commit3c4d6f1ba2f0e608605c6dffa6b381675c333245 (patch)
tree3b3cf6bba9bfb67e35731491db02c6a58a373965 /src/include/.gitignore
parent007cc7abe8aa4430e78ee833ba874bb9b2f5c8a9 (diff)
fix #7256
Diffstat (limited to 'src/include/.gitignore')
0 files changed, 0 insertions, 0 deletions