diff options
| -rw-r--r-- | hints/README.hints | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/hints/README.hints b/hints/README.hints index 32e513476a..6c67585561 100644 --- a/hints/README.hints +++ b/hints/README.hints @@ -20,6 +20,8 @@ irix_6.sh irix_6_2.sh isc.sh linux.sh +machten_2.sh +machten.sh ncr_tower.sh netbsd.sh next_3_2.sh |