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 /cheri | |
| parent | 71db59830383b7db5316b5c99ccebe776fc837dc (diff) | |
Remove old specs that have more up to date version
Move outdated things into old subdirectory
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/LOOKING_FOR_SOMETHING.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/cheri/LOOKING_FOR_SOMETHING.txt b/cheri/LOOKING_FOR_SOMETHING.txt deleted file mode 100644 index 7cd539a3..00000000 --- a/cheri/LOOKING_FOR_SOMETHING.txt +++ /dev/null @@ -1 +0,0 @@ -The cheri spec. now lives at https://github.com/CTSRD-CHERI/sail-cheri-mips . |