mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-12-21 08:29:39 +08:00
Remove a lot of desperately obsolete material (which was all out of sight,
out of mind, because it'd been commented out years ago). Try to bring the remains up to a reasonable level of currency, and give it all approximately the same high level of abstraction.
This commit is contained in:
parent
82de7b0a44
commit
14847af48d