diff options
Diffstat (limited to 'mips')
| -rw-r--r-- | mips/LOOKING_FOR_SOMETHING.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/mips/LOOKING_FOR_SOMETHING.txt b/mips/LOOKING_FOR_SOMETHING.txt deleted file mode 100644 index 1f462863..00000000 --- a/mips/LOOKING_FOR_SOMETHING.txt +++ /dev/null @@ -1 +0,0 @@ -The mips spec. now lives at https://github.com/CTSRD-CHERI/sail-cheri-mips . |