mirror of https://github.com/postgres/postgres
The latest update introduced some funny whitespace, but since they are externally maintained files, we add them to the list of files to ignore.pull/14/head
parent
6412f3e2d0
commit
8195e9e9c1
Loading…
Reference in new issue