diff options
| author | Miles Bader <miles@gnu.org> | 1996-08-13 21:50:08 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-08-13 21:50:08 +0000 |
| commit | 90d45b38b70ee46d1545a6b13627135eb4090c23 (patch) | |
| tree | f8be076e67978980a0402b27738c0499a97e628d | |
| parent | 652e8ffe4207b9805246e73944f6763be886d2d1 (diff) | |
.
| -rw-r--r-- | boot/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/boot/ChangeLog b/boot/ChangeLog index 7460a171..324c4a2b 100644 --- a/boot/ChangeLog +++ b/boot/ChangeLog @@ -1,3 +1,8 @@ +Tue Aug 13 16:57:22 1996 Miles Bader <miles@gnu.ai.mit.edu> + + * Makefile (device.defs): Rule removed. + (ourdevice.defs): Fix rule to work with Makeconf-generated device.defs. + Tue Aug 13 15:09:45 1996 Thomas Bushnell, n/BSG <thomas@gnu.ai.mit.edu> * Makefile (ourdevice.defs): Depend on local device.defs. |