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 | ffba496875c9deb9d8e9f907fcd4a6985e514189 (patch) | |
| tree | ac86f3c8ab05fe11f277cb92721a74d624a679af /configure.in | |
| parent | 6ed9c9dc9c3969bd0a75e2bc0a816b37ed167769 (diff) | |
(main): Don't print large obnoxious banner if PREEN.
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions