1
0
mirror of https://github.com/postgres/postgres.git synced 2025-06-13 07:41:39 +03:00
Files
postgres/doc/src
Magnus Hagander 6d301af4c0 Fix duplicated platforms due to copy/paste error
Patch from Michael Paquier, mistake spotted by KOIZUMI Satoru
2014-11-16 15:47:10 +01:00
..