Update .gitignore
Add entry for ab393528fa4b2486237ee7aa51fac67f82fee824. Remove one
obsolete entry.
Branch
------
master
Details
-------
https://git.postgresql.org/pg/commitdiff/5f84647ee1b25532cf5ea06801a4f36706a0cb96
Modified Files
--------------
doc/src/sgml/.gitignore | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)