diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-07-13 22:27:02 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-13 22:27:02 +0000 |
| commit | a6fe2e3607a23648d76993b309bb29a36ede8eae (patch) | |
| tree | 5a3e383ae352ce99ac95fd33709c4c9f177c4b76 /config | |
| parent | 744c800a4c3aa4f46775bc23213faab4414494f6 (diff) | |
(dist-files): Add servers.boot.
(install-dist): Install servers.boot.
(dist-links): Create $(dist-root)/boot.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions