diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2013-11-12 06:39:36 -0500 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2013-11-12 06:39:36 -0500 |
| commit | 3626adf26652cdf76a26ae14b2d75cb7801da7a9 (patch) | |
| tree | e60f0a2370bb68824a5807f892951382a3ab2d4d /src/backend/executor | |
| parent | ebefbb5fdeba885bb57d2f2e1eb185a46c9d777d (diff) | |
Remove leftovers of IRIX port
This removes the remaining pieces of the IRIX port that was removed by
ea91a6be89575095f61ebf36d67c2df98be093db.
Diffstat (limited to 'src/backend/executor')
0 files changed, 0 insertions, 0 deletions