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/6/head
parent
ecb2d583ca
commit
2cf489301e
Loading…
Reference in new issue