diff options
| author | Bruce Momjian <bruce@momjian.us> | 2003-10-09 16:52:45 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2003-10-09 16:52:45 +0000 |
| commit | b1d955ea7bf629ac2fd935e9506a1a506056e305 (patch) | |
| tree | 80b237c03022e1d37159ce6c323dadc9be473af4 /doc/src | |
| parent | 85bd172c45630d3cd971e99f3754242001f23032 (diff) | |
Remove -pipe on Linux, per reports from Peter.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions