summaryrefslogtreecommitdiff
path: root/doc/man
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-01-27 04:21:27 +0100
committerChristian Grothoff <christian@grothoff.org>2019-01-27 04:21:27 +0100
commitf0b35049f6d9e743d2bc5fcf11664633d130d6fc (patch)
treebee27beb5d8a25ca043e483a40400fef783056c9 /doc/man
parentd3f013aba71486c121800d279cd1d3af4425c412 (diff)
more work towards fixing #5385
Diffstat (limited to 'doc/man')
0 files changed, 0 insertions, 0 deletions