Remove generation of repl_gram.h
Peter Eisentraut <peter_e@gmx.net>
Remove generation of repl_gram.h It was apparently never necessary.
Files
| Path | Change | +/− |
|---|---|---|
| src/backend/Makefile | modified | +0 −1 |
| src/backend/replication/.gitignore | modified | +0 −1 |
| src/backend/replication/Makefile | modified | +1 −3 |