diff options
author | Peter Eisentraut | 2017-08-31 02:28:36 +0000 |
---|---|---|
committer | Peter Eisentraut | 2017-09-08 16:37:05 +0000 |
commit | ee24d2b5cf059cab83711992c0cf110ad44df5f9 (patch) | |
tree | 72cb6f6be28ba6d4ded3ab053c943c0bfcd52797 /doc/src | |
parent | 8e673801262c66af4a54837f63ff596407835c20 (diff) |
Clean up excessive code
The encoding ID was converted between string and number too many times,
probably a remnant from the shell script days.
Reviewed-by: Aleksandr Parfenov <a.parfenov@postgrespro.ru>
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions