diff options
| author | Roland McGrath <roland@gnu.org> | 1999-05-12 22:23:25 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1999-05-12 22:23:25 +0000 |
| commit | 082fe7ab835b33c9b894da003fe544d0408690de (patch) | |
| tree | a9acf7f390e2109392fec61f2f5f1da097943d2d /doc/navigating | |
| parent | 0a7ee7080562b62742671295c2512fd94237bae8 (diff) | |
1999-05-09 Mark Kettenis <kettenis@gnu.org>
* pager.c (dev_stop_paging): Do not try to count ports in
PAGER_PORT_BUCKET if it has not been created.
Diffstat (limited to 'doc/navigating')
0 files changed, 0 insertions, 0 deletions