summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUlrich Drepper <drepper@redhat.com>1997-05-26 12:17:11 +0000
committerUlrich Drepper <drepper@redhat.com>1997-05-26 12:17:11 +0000
commit4d3a95a6b6380606adccf3d0d5338ea83c29beb0 (patch)
tree2231ba8c61ec3ba5b3c9c40582afcd45c8d61d0d
parentfdc5571f259649d2a127525343bd1fb09e941983 (diff)
Clarify status of other ports.
-rw-r--r--manual/maint.texi1
1 files changed, 0 insertions, 1 deletions
diff --git a/manual/maint.texi b/manual/maint.texi
index dfbb20c847..38d9786b9f 100644
--- a/manual/maint.texi
+++ b/manual/maint.texi
@@ -234,7 +234,6 @@ versions) used to run on the following configurations:
@smallexample
alpha-dec-osf1
-alpha-@var{anything}-linuxecoff
i@var{x}86-@var{anything}-bsd4.3
i@var{x}86-@var{anything}-isc2.2
i@var{x}86-@var{anything}-isc3.@var{n}