aboutsummaryrefslogtreecommitdiff
path: root/pgshell
diff options
context:
space:
mode:
authorDavid Aspinall2010-08-22 22:02:03 +0000
committerDavid Aspinall2010-08-22 22:02:03 +0000
commit043524261a0e8f19b70bce9d7c19f2cde02d7595 (patch)
treeaf6fbc0b9d57891dffb48fc90f4d6b2ce89dbb67 /pgshell
parent68687d859dec8b1e8f8b87e6f69073b05dc552f1 (diff)
proof-fast-process-buffer: switch on by default if looks like Mac port (ns feature)
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions