mirror of
https://github.com/postgres/postgres.git
synced 2026-03-21 10:00:08 -04:00
which is perhaps not a terribly good spot for it but there doesn't seem to be a better place. Also add a source-code comment pointing out a couple reasons for having a separate lock file. Per suggestion from Greg Smith. |
||
|---|---|---|
| .. | ||
| sgml | ||
| Makefile | ||