diff options
| author | David Aspinall | 2010-08-22 22:02:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-22 22:02:03 +0000 |
| commit | 043524261a0e8f19b70bce9d7c19f2cde02d7595 (patch) | |
| tree | af6fbc0b9d57891dffb48fc90f4d6b2ce89dbb67 /pgshell | |
| parent | 68687d859dec8b1e8f8b87e6f69073b05dc552f1 (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
