diff options
| author | Peter Eisentraut | 2017-05-15 16:09:19 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2017-05-15 16:09:19 +0000 |
| commit | 4b99d32b2b0de97063b85a0ea69d482d8a4bf075 (patch) | |
| tree | ee23b7610f16f9b68d8a1db4b311858c4d5c1a28 /src | |
| parent | 4041808b5b70433206b37e1305c807c325b06713 (diff) | |
doc: Remove unused file
sql.sgml has not been part of the documentation since forever, so it's
pointless to keep it around.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions