diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-07-05 23:58:03 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-07-05 23:58:03 +0000 |
commit | 30acee6a6952a9d4c6187fd231f29dd12c2a84ab (patch) | |
tree | 1898db1c246c0834d0f632c435f1197876bbd478 | |
parent | 80e2ff28971b7c377bf8eaa00fa5f11e2fc905a2 (diff) |
Formerly Makefile.~10~
-rw-r--r-- | hurd/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hurd/Makefile b/hurd/Makefile index a7a37418..6fd9122b 100644 --- a/hurd/Makefile +++ b/hurd/Makefile @@ -17,5 +17,5 @@ dir := hurd include ../Makeconf -DIST_FILES = ChangeLog Makefile *.defs *.h +DIST_FILES = ChangeLog Makefile *.defs *.h subsystems |