diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-07-06 17:58:34 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-06 17:58:34 +0000 |
| commit | cf8c44e3a5179851621a21d93ce83e1e778cd343 (patch) | |
| tree | 947b55408c8015e7d6699cc4d13b81ea6dd3b674 /libports | |
| parent | d9185de6346a26b7b4d3095e7e89352f364b0572 (diff) | |
(print_banner): Don't include directory in terminal name.
Diffstat (limited to 'libports')
0 files changed, 0 insertions, 0 deletions