summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2020-12-14 14:37:33 +0100
committerChristian Grothoff <christian@grothoff.org>2020-12-14 14:37:33 +0100
commit74d7528e6bd53cf5acc939c63a5be74a001e5ce1 (patch)
tree5904faddd3dc867cb4111278d0b9ad5298857588 /doc
parent561596641606ecc0b5f71658c34eab1312ad8f18 (diff)
indentation fixes
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions