diff options
| author | Peter Eisentraut <peter@eisentraut.org> | 2022-04-02 07:27:26 +0200 |
|---|---|---|
| committer | Peter Eisentraut <peter@eisentraut.org> | 2022-04-02 07:28:11 +0200 |
| commit | d480ae069e6c13dcb719b8c6aaf7a5540196a1b3 (patch) | |
| tree | 86a9bc6dbb290b15933190f4bb35090bcc106e22 /doc/src | |
| parent | 7a27892750e966998381e6c34cdfec30ac5e3906 (diff) | |
Remove obsolete comment
accidentally left behind by 4cb658af70027c3544fb843d77b2e84028762747
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions