1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-28 23:42:10 +03:00

Set version to 7.3devel.

This commit is contained in:
Peter Eisentraut
2002-02-18 21:46:17 +00:00
parent 04802852b6
commit 5e03503126
3 changed files with 4 additions and 4 deletions

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.2">
<!entity majorversion "7.2">
<!entity version "7.3devel">
<!entity majorversion "7.3">