diff options
author | Peter Eisentraut <peter@eisentraut.org> | 2019-09-06 22:19:53 +0200 |
---|---|---|
committer | Peter Eisentraut <peter@eisentraut.org> | 2019-09-06 22:21:29 +0200 |
commit | 0bea801c8176d14b7e22bc160cb96e6cf6650d61 (patch) | |
tree | bfa918585617e02a03171b554b8685f8e09f5195 /src | |
parent | 23df8822601dce04d259fed0326ef28ecc6d1fa0 (diff) |
doc: Fix awkward markup
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions