summaryrefslogtreecommitdiff
path: root/TODO
diff options
context:
space:
mode:
authorThomas Bushnell <thomas@gnu.org>1998-04-15 15:57:13 +0000
committerThomas Bushnell <thomas@gnu.org>1998-04-15 15:57:13 +0000
commitfdb5119b85a2355352536e62ab51624f20ccde84 (patch)
tree5767d287f50eddac17d4684607602c960474ea03 /TODO
parent773b1dcda0bb7a66a9f7d1efa921149d2773833a (diff)
*** empty log message ***
Diffstat (limited to 'TODO')
-rw-r--r--TODO1
1 files changed, 0 insertions, 1 deletions
diff --git a/TODO b/TODO
index 7c132f91..1f159452 100644
--- a/TODO
+++ b/TODO
@@ -29,7 +29,6 @@ See `tasks', the exported task list.
* Implement file_fetch_dir
* Conform to coding standards (esp. CFLAGS setting)
* Internationalization !
-* Update INSTALL to refer to GNUmach. !!!
* Use hostid in /etc/rc and mention it in installation instructions,
when suitable sh-utils is released.