diff options
-rw-r--r-- | release/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/release/ChangeLog b/release/ChangeLog index ff47cb84..fe2a34c5 100644 --- a/release/ChangeLog +++ b/release/ChangeLog @@ -1,3 +1,8 @@ +1997-06-17 Miles Bader <miles@gnu.ai.mit.edu> + + * mksmallso, mkemptyso: New files. + * Makefile (tool-files): add mksmallso & mkemptyso. + Wed Jun 11 12:05:02 1997 Thomas Bushnell, n/BSG <thomas@gnu.ai.mit.edu> * Makefile (dist-links): Create /servers/exec node. |