diff options
| author | Robert Haas <rhaas@postgresql.org> | 2017-01-24 09:08:13 -0500 |
|---|---|---|
| committer | Robert Haas <rhaas@postgresql.org> | 2017-01-24 09:08:13 -0500 |
| commit | 52df3420cd241b1411da3e4b24318db12bf22cba (patch) | |
| tree | 11bc3b82f2ef740bb9f5c4e4ed6951d71f5959e7 /doc/src | |
| parent | 289992c462b504ffa289202ce8fc34a56b4048c3 (diff) | |
Remove unused variable.
This was intended to be included in the previous commit,
but I goofed.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions