diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/pgindent/pgindent | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index e4ff5a53e5f..188803750ab 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -60,9 +60,6 @@ do # Convert // comments to /* */ sed 's;^\([ ]*\)//\(.*\)$;\1/* \2 */;g' | -# Avoid bug that converts 'x =- 1' to 'x = -1' - sed 's;=- ;-= ;g' | - # Mark some comments for special treatment later sed 's;/\* *---;/*---X_X;g' | |