diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2012-03-26 21:03:10 +0300 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2012-03-26 21:03:10 +0300 |
| commit | dcb33b1c6417cbeaf2c7d24eece0edf7cc0adfa7 (patch) | |
| tree | f07ef2c56346e2d5ec4215ed4a77106febcb8ee8 /doc/src | |
| parent | 7386089d23c748af142ec7e3668fa0dd164eaf99 (diff) | |
Remove dead assignment
found by Coverity
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions