summaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-02-24 13:43:22 +0100
committerChristian Grothoff <christian@grothoff.org>2019-02-24 13:43:22 +0100
commit41d45203ffd0936acbd4649b23e926b90c9a3333 (patch)
tree8497ddcfdd715fbd5a038d680ffab1229af3bbbc /README
parent8fe30a808b12159162d5ecebbba040d976fe91fd (diff)
trying to fix #5605
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions