diff options
| author | Miles Bader <miles@gnu.org> | 1997-07-15 22:56:20 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-07-15 22:56:20 +0000 |
| commit | 58a313ba7da1357819e37ce18055c170db62d263 (patch) | |
| tree | 8853e11e9ad37fc5ec75ac89118a30922cc77e6d /serverboot/default_pager.c | |
| parent | d1fdec81ee3e0a77add943820078bbaee844e3ed (diff) | |
(safe_gets):
Use strchr instead of index.
(main):
Rearrange default pager initialization. Change "(bootstrap)" to
"(serverboot)" in msgs.
Include <string.h>
Diffstat (limited to 'serverboot/default_pager.c')
0 files changed, 0 insertions, 0 deletions