1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-27 12:41:57 +03:00

Cleanups of pltcl unknown thingy.

This commit is contained in:
Peter Eisentraut
2001-05-11 23:38:06 +00:00
parent 7a76e29b0e
commit 5e19e14ecd
9 changed files with 471 additions and 455 deletions

774
configure vendored

File diff suppressed because it is too large Load Diff