diff options
Diffstat (limited to 'gas/doc')
-rw-r--r-- | gas/doc/c-mips.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gas/doc/c-mips.texi b/gas/doc/c-mips.texi index f72db68..f2f80d5 100644 --- a/gas/doc/c-mips.texi +++ b/gas/doc/c-mips.texi @@ -369,6 +369,7 @@ m14kec, 1004kf2_1, 1004kf, 1004kf1_1, +interaptiv, p5600, 5kc, 5kf, |