diff options
| author | Miles Bader <miles@gnu.org> | 1996-07-07 14:39:55 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-07-07 14:39:55 +0000 |
| commit | 1319f7565bd0a6260bf4b39c7262c4995a2f023c (patch) | |
| tree | 00a0df24b07f58909629c4801958a8f865f3f973 /libports | |
| parent | 50417b38e1096270df0fba26af31df5b1cbacd8f (diff) | |
(print_banner): Use basename instead of rolling our own.
Diffstat (limited to 'libports')
0 files changed, 0 insertions, 0 deletions