diff --git a/doc/src/sgml/ref/destroylang.sgml b/doc/src/sgml/ref/destroylang.sgml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/src/bin/scripts/vacuumdb.rej b/src/bin/scripts/vacuumdb.rej deleted file mode 100644 index 0a128c74968..00000000000 --- a/src/bin/scripts/vacuumdb.rej +++ /dev/null @@ -1,17 +0,0 @@ -*************** -*** 80,86 **** - dbname=`echo $1 | sed 's/^--dbname=//'` - ;; - --database=*) -! dbname=`echo $1 | sed 's/^-database=//'` - ;; - # options converted into SQL command - --analyze|-z) ---- 80,86 ---- - dbname=`echo $1 | sed 's/^--dbname=//'` - ;; - --database=*) -! dbname=`echo $1 | sed 's/^--database=//'` - ;; - # options converted into SQL command - --analyze|-z)