diff options
author | Peter Eisentraut | 2017-03-14 15:19:12 +0000 |
---|---|---|
committer | Peter Eisentraut | 2017-03-14 15:19:12 +0000 |
commit | 37289ffdbfc7319a3cdb271b11227bf682f76d90 (patch) | |
tree | cb1db5fdaacab5b3344ee0508ef387370a85630a /src | |
parent | a82178020de2c4b3576d0a079e11a431e382e4de (diff) |
doc: Fix synopsis
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions