mirror of
https://github.com/postgres/postgres.git
synced 2026-07-02 06:29:42 -04:00
Minor cleanup.
This commit is contained in:
parent
e19e382804
commit
26b9dcb640
1 changed files with 1 additions and 1 deletions
|
|
@ -95,7 +95,7 @@ awk ' BEGIN {html="'"$HTML"'"; lineno = 0;}
|
|||
/* clear working file */
|
||||
$0 ~ /^====*$/ {workingfile=""}' |
|
||||
|
||||
sort | cut -d'|' -f3 | cat |
|
||||
sort | cut -d'|' -f3 |
|
||||
|
||||
# collect duplicate narratives
|
||||
|
||||
|
|
|
|||
Loading…
Reference in a new issue