diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:35:40 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:35:40 +0000 |
| commit | 5e09286c6b6fd1897553a52ebe055353761d8e72 (patch) | |
| tree | b79cf6230e9a309f929fe30785efc3d6bd5885cf /libports | |
| parent | 442d70789a083947a8a9bd41ce787011cf89d4ea (diff) | |
(pager_shutdown): Use new ports functions.
Diffstat (limited to 'libports')
0 files changed, 0 insertions, 0 deletions