diff options
| author | Alasdair | 2020-07-31 13:30:53 +0100 |
|---|---|---|
| committer | Alasdair | 2020-07-31 13:30:53 +0100 |
| commit | dd76fdfd819bb1a5423cea369df0e7f2ae449b62 (patch) | |
| tree | 88d8d69e39b724902b280beaa8ce874e444f5dbc /mips | |
| parent | 71db59830383b7db5316b5c99ccebe776fc837dc (diff) | |
Remove old specs that have more up to date version
Move outdated things into old subdirectory
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 . |