OSDN Git Service

Don't need this anymore. It's now handled in the Makefile.
authorPeter Eisentraut <peter_e@gmx.net>
Wed, 19 Jul 2000 22:47:13 +0000 (22:47 +0000)
committerPeter Eisentraut <peter_e@gmx.net>
Wed, 19 Jul 2000 22:47:13 +0000 (22:47 +0000)
commit6a00a7eb7261ebccc74f5d929acf5883896e0732
treea5e5184e9983360338daea30214ad3f7672d2dbb
parent32163099d7c43a0244f463eb4e525c711e6e97a3
Don't need this anymore. It's now handled in the Makefile.
src/backend/bootstrap/boot.sed [deleted file]