From 2bdc5d09389c8fccd8100c0c07c54b2b8895c76a Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 21 Sep 2018 15:09:08 +0100
Subject: Remove cheri and mips specs -- they now have their own repository.

---
 cheri/sail_latex/sailsailsailsailsailfndecodeSomeCLoadvvvv.tex | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 cheri/sail_latex/sailsailsailsailsailfndecodeSomeCLoadvvvv.tex

(limited to 'cheri/sail_latex/sailsailsailsailsailfndecodeSomeCLoadvvvv.tex')

diff --git a/cheri/sail_latex/sailsailsailsailsailfndecodeSomeCLoadvvvv.tex b/cheri/sail_latex/sailsailsailsailsailfndecodeSomeCLoadvvvv.tex
deleted file mode 100644
index db208247..00000000
--- a/cheri/sail_latex/sailsailsailsailsailfndecodeSomeCLoadvvvv.tex
+++ /dev/null
@@ -1 +0,0 @@
-function clause #\hyperref[zdecode]{decode}# (0b110010 @ rd : regno @ cb : regno@ rt : regno @ offset : #\hyperref[zbits]{bits}#(8) @ 0b0 @ 0b10) = #\hyperref[zSome]{Some}#(#\hyperref[zCLoad]{CLoad}#(rd, cb, rt, offset, false, W, false)) /* CLWU */
-- 
cgit v1.2.3