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

make sure the $Id tags are converted to $PostgreSQL as well ...

This commit is contained in:
PostgreSQL Daemon
2003-11-29 22:41:33 +00:00
parent 4c274b4f8a
commit 55b113257c
449 changed files with 455 additions and 451 deletions

View File

@@ -6,7 +6,7 @@
*
* Copyright (c) 2001-2003, PostgreSQL Global Development Group
*
* $Id: instrument.h,v 1.5 2003/08/04 23:59:41 tgl Exp $
* $PostgreSQL: pgsql/src/include/executor/instrument.h,v 1.6 2003/11/29 22:41:01 pgsql Exp $
*
*-------------------------------------------------------------------------
*/