diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2006-12-10 20:46:03 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2006-12-10 20:46:03 +0000 |
| commit | 314c7b642b14e8a60a411ecce2435edf0072f78a (patch) | |
| tree | bfdbda70913f2ddcc8d5ee6343e43dc35f516e1d /src/include/executor/execdefs.h | |
| parent | 5f1f30d136fe8b1c2a403efd0441ff0160df0dcb (diff) | |
Make separate targets for building printable documentation in A4 and
US letter paper formats.
Diffstat (limited to 'src/include/executor/execdefs.h')
0 files changed, 0 insertions, 0 deletions