1
0
mirror of https://github.com/postgres/postgres.git synced 2025-09-02 04:21:28 +03:00

doc: Whitespace fixes in man pages

This commit is contained in:
Peter Eisentraut
2017-06-14 13:55:43 -04:00
parent b08df9cab7
commit f0cfff9da2
15 changed files with 15 additions and 34 deletions

View File

@@ -73,9 +73,7 @@ DROP STATISTICS [ IF EXISTS ] <replaceable class="PARAMETER">name</replaceable>
DROP STATISTICS IF EXISTS
accounting.users_uid_creation,
public.grants_user_role;
</programlisting>
</para>
</programlisting></para>
</refsect1>
<refsect1>