mirror of
https://git.postgresql.org/git/postgresql.git
synced 2025-01-30 19:00:29 +08:00
Merge pgadmin paragraph.
This commit is contained in:
parent
6b16aaa065
commit
b5a6e26f3a
@ -1,5 +1,5 @@
|
|||||||
<!--
|
<!--
|
||||||
$PostgreSQL: pgsql/doc/src/sgml/external-projects.sgml,v 1.1 2004/12/03 05:50:17 momjian Exp $
|
$PostgreSQL: pgsql/doc/src/sgml/external-projects.sgml,v 1.2 2004/12/03 06:04:38 momjian Exp $
|
||||||
-->
|
-->
|
||||||
|
|
||||||
<chapter id="external-projects">
|
<chapter id="external-projects">
|
||||||
@ -186,15 +186,6 @@ $PostgreSQL: pgsql/doc/src/sgml/external-projects.sgml,v 1.1 2004/12/03 05:50:17
|
|||||||
that is developed independently from the main projects.
|
that is developed independently from the main projects.
|
||||||
</para>
|
</para>
|
||||||
|
|
||||||
</sect1>
|
|
||||||
|
|
||||||
<sect1 id="administration-tools">
|
|
||||||
<title>Administration Tools</title>
|
|
||||||
|
|
||||||
<indexterm>
|
|
||||||
<primary>administration tools</primary>
|
|
||||||
</indexterm>
|
|
||||||
|
|
||||||
<para>
|
<para>
|
||||||
There are several administration tools available for
|
There are several administration tools available for
|
||||||
<productname>PostgreSQL</>. The most popular is
|
<productname>PostgreSQL</>. The most popular is
|
||||||
|
Loading…
Reference in New Issue
Block a user