From 93d89c2b5e8497365be152fb53cb6cd4c5764d34 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 3 Mar 2010 10:25:25 +0000
Subject: Getting rid of CIL

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cil/doc/CIL-API.pdf | Bin 226152 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 cil/doc/CIL-API.pdf

(limited to 'cil/doc/CIL-API.pdf')

diff --git a/cil/doc/CIL-API.pdf b/cil/doc/CIL-API.pdf
deleted file mode 100644
index 240ff491..00000000
Binary files a/cil/doc/CIL-API.pdf and /dev/null differ
-- 
cgit