doc: Replace non-ASCII lines in psql example output

petere · petere · commit 539f32bdd691 · 2018-06-29T21:23:23.000+02:00
diff --git a/doc/src/sgml/ddl.sgml b/doc/src/sgml/ddl.sgml
@@ -3812,7 +3812,7 @@ SELECT count(*) FROM measurement WHERE logdate &gt;= DATE '2008-01-01';
 SET enable_partition_pruning = off;
 EXPLAIN SELECT count(*) FROM measurement WHERE logdate &gt;= DATE '2008-01-01';
                                     QUERY PLAN
-───────────────────────────────────────────────────────────────────────────────────
+-----------------------------------------------------------------------------------
  Aggregate  (cost=188.76..188.77 rows=1 width=8)
    -&gt;  Append  (cost=0.00..181.05 rows=3085 width=0)
          -&gt;  Seq Scan on measurement_y2006m02  (cost=0.00..33.12 rows=617 width=0)
@@ -3837,7 +3837,7 @@ EXPLAIN SELECT count(*) FROM measurement WHERE logdate &gt;= DATE '2008-01-01';
 SET enable_partition_pruning = on;
 EXPLAIN SELECT count(*) FROM measurement WHERE logdate &gt;= DATE '2008-01-01';
                                     QUERY PLAN
-───────────────────────────────────────────────────────────────────────────────────
+-----------------------------------------------------------------------------------
  Aggregate  (cost=37.75..37.76 rows=1 width=8)
    -&gt;  Append  (cost=0.00..36.21 rows=617 width=0)
          -&gt;  Seq Scan on measurement_y2008m01  (cost=0.00..33.12 rows=617 width=0)
