mirror of
https://github.com/postgres/postgres.git
synced 2025-12-09 02:08:45 +03:00
6eee73e4e5
Make more consistent use of <screen> and <programlisting>. Author: Jürgen Purtz <juergen@purtz.de> Discussion: https://www.postgresql.org/message-id/flat/158996922318.7035.10603922579567326239@wrigleys.postgresql.org