diff options
| author | Miles Bader <miles@gnu.org> | 1997-07-15 22:57:45 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-07-15 22:57:45 +0000 |
| commit | fe5e91f25bb1935f384ea9670128172a9d3edb45 (patch) | |
| tree | b25ec566bba8ece79af9b59bde064b8d932c5a17 /serverboot/default_pager.c | |
| parent | 58a313ba7da1357819e37ce18055c170db62d263 (diff) | |
Doc fix.
Diffstat (limited to 'serverboot/default_pager.c')
0 files changed, 0 insertions, 0 deletions