Rename port-arm26 -> port-acorn26.

Add port-shark.
This commit is contained in:
bjh21 2002-04-07 14:17:26 +00:00
parent 73b98457c3
commit c43c79f541
1 changed files with 2 additions and 1 deletions

View File

@ -10,7 +10,7 @@ port-alpha
port-amiga
port-arc
port-arm
port-arm26
port-acorn26
port-arm32
port-atari
port-bebox
@ -41,6 +41,7 @@ port-prep
port-sbmips
port-sgimips
port-sh3
port-shark
port-sparc
port-sparc64
port-sun2