From e23d53f27f6e187732a92a2b4705639d1c260f05 Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
Date: Fri, 28 Aug 2020 16:21:07 -0400
Subject: Delete doc dir because they take much space in student submissions

---
 doc/riscv-privileged-20190608-1.pdf | Bin 533858 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 doc/riscv-privileged-20190608-1.pdf

(limited to 'doc/riscv-privileged-20190608-1.pdf')

diff --git a/doc/riscv-privileged-20190608-1.pdf b/doc/riscv-privileged-20190608-1.pdf
deleted file mode 100644
index 2303a01..0000000
Binary files a/doc/riscv-privileged-20190608-1.pdf and /dev/null differ
-- 
cgit v1.2.3