diff options
| author | Miles Bader <miles@gnu.org> | 1996-05-01 00:57:15 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-05-01 00:57:15 +0000 |
| commit | 38549befba788a8e99eca5bebe16856154e3460a (patch) | |
| tree | aebe7345aa274e03c0c3dbfdb2ef1eb3fcccca9f /devio/devpager.c | |
| parent | 2817245407b6cf0cfcb6864ebe3e3cd4506db61c (diff) | |
(main): Don't print large obnoxious banner if PREEN.
Diffstat (limited to 'devio/devpager.c')
0 files changed, 0 insertions, 0 deletions