diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-07-17 03:42:47 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-17 03:42:47 +0000 |
| commit | 89c4a82b6e013652820809dfbb805a59eb9b9731 (patch) | |
| tree | 203b4f2ce6d6a0252e1dd3c1f34a494852d1c717 /pfinet/socket.c | |
| parent | 7dba74514da7fbe05eba61d0fe972cb221a468b2 (diff) | |
(dist-files): boot-menu.grub -> menu.lst.
(install-dist): Likewise; also put it in /boot/grub and don't bother
with link in /etc.
Diffstat (limited to 'pfinet/socket.c')
0 files changed, 0 insertions, 0 deletions