diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-07-13 22:34:13 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-13 22:34:13 +0000 |
| commit | ffd5182119a437f67b02607cc3ea6e7885a92254 (patch) | |
| tree | 65da8f278ff52fe64ca3b3cba7268bef806ad85c /config/Makefile | |
| parent | a2b08c30d182248720f3d2070cafb615caf2a8ee (diff) | |
(dist-files): install boot-menu.grub.
(install-dist): install boot-menu.grub.
Diffstat (limited to 'config/Makefile')
0 files changed, 0 insertions, 0 deletions