1
0
mirror of https://github.com/postgres/postgres.git synced 2025-08-06 18:42:54 +03:00

Update branding for 7.1.3, no HISTORY yet.

This commit is contained in:
Bruce Momjian
2001-08-09 16:39:20 +00:00
parent 12c8c6af15
commit 1dcabacd45
6 changed files with 10 additions and 10 deletions

View File

@@ -27,7 +27,7 @@ System Configuration
Operating System (example: Linux 2.0.26 ELF) :
PostgreSQL version (example: PostgreSQL-7.1.1): PostgreSQL-7.1.2
PostgreSQL version (example: PostgreSQL-7.1.3): PostgreSQL-7.1.3
Compiler used (example: gcc 2.95.2) :

View File

@@ -3,5 +3,5 @@ Update this file to propagate correct current version numbers to the
documentation. In text, use for example &version; to refer to them.
-->
<!entity version "7.1.2">
<!entity version "7.1.3">
<!entity majorversion "7.1">