From dd76fdfd819bb1a5423cea369df0e7f2ae449b62 Mon Sep 17 00:00:00 2001 From: Alasdair Date: Fri, 31 Jul 2020 13:30:53 +0100 Subject: Remove old specs that have more up to date version Move outdated things into old subdirectory --- cheri/LOOKING_FOR_SOMETHING.txt | 1 - 1 file changed, 1 deletion(-) delete mode 100644 cheri/LOOKING_FOR_SOMETHING.txt (limited to 'cheri') 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 . -- cgit v1.2.3