mirror of
https://github.com/postgres/postgres.git
synced 2026-05-29 20:14:55 -04:00
279598bb71
This is his original version with a binary rmdir() we might need in the future. I will commit an update version with cleanups shortly.