summaryrefslogtreecommitdiff
path: root/doc/documentation
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2018-07-07 20:54:34 +0200
committerChristian Grothoff <christian@grothoff.org>2018-07-07 20:54:34 +0200
commitb35da95733c873d6bb625764fd3c43c76a7172f7 (patch)
tree67232570d613b35e06961efb46e44aa8a47fe643 /doc/documentation
parent5cf1f3d86bdb95f6df41405df063061d03eb9bcf (diff)
fix fmt string
Diffstat (limited to 'doc/documentation')
0 files changed, 0 insertions, 0 deletions