aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2017-11-06 14:54:52 +0100
committerChristian Grothoff <christian@grothoff.org>2017-11-06 14:54:52 +0100
commitcc09fbbb29d3e24bdc668cfc65848b05ea63e4e5 (patch)
tree597eac7d43852f6ee775e2ce37263b30b06bd312 /.gitignore
parentc5f9c0ca8872b8f2b4d23f3b53d2046e6fd53ef9 (diff)
working on #4962
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions