diff options
| author | Michael Paquier <michael@paquier.xyz> | 2018-09-08 12:24:19 -0700 |
|---|---|---|
| committer | Michael Paquier <michael@paquier.xyz> | 2018-09-08 12:24:19 -0700 |
| commit | 9226a3b89b004b3472d963442856206f0c249a53 (patch) | |
| tree | e77673b9c74a2a512b4133a7b40b4aec265d7c9d /doc/src | |
| parent | 361844fe561f6898d90a10382705ad968929a4b2 (diff) | |
Remove duplicated words split across lines in comments
This has been detected using some interesting tricks with sed, and the
method used is mentioned in details in the discussion below.
Author: Justin Pryzby
Discussion: https://postgr.es/m/20180908013109.GB15350@telsasoft.com
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions