summaryrefslogtreecommitdiff
path: root/doc/man
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2017-04-11 11:37:46 +0200
committerChristian Grothoff <christian@grothoff.org>2017-04-11 11:37:46 +0200
commit51e9f26b1014d6f935cacad7da75d98234653482 (patch)
treeecbd7394cfd571c8041767287ea17e7cb862f1ca /doc/man
parent2b3d804abaff87da0b07f8f6da115a05f6664ebe (diff)
fix #4985
Diffstat (limited to 'doc/man')
0 files changed, 0 insertions, 0 deletions