diff options
Diffstat (limited to 'SOURCES.0.0')
| -rw-r--r-- | SOURCES.0.0 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/SOURCES.0.0 b/SOURCES.0.0 index 7667b68c..e2d9e4cf 100644 --- a/SOURCES.0.0 +++ b/SOURCES.0.0 @@ -5,7 +5,6 @@ STILL TO CATEGORIZE: XXX * gperf (cperf 2.1a) [hacked src/Makefile and src/stderr.c slightly] [substitute with libg++ version?] libc -mach @@ -106,6 +105,7 @@ serverboot * sh-utils (1.12m from alpha.gnu.ai.mit.edu; unmodified) * make (3.74.5 from alpha.gnu.ai.mit.edu; unmodified) * gdb (Modified from Cygnus snapshot of 960526) [wait for Mach to get migcom] +* mach4 (UK22, slighly hacked) |