From 843f75943d25f4e180493142b6da0968621b9a78 Mon Sep 17 00:00:00 2001
From: Thibaut Horel <thibaut.horel@gmail.com>
Date: Mon, 9 Mar 2015 13:50:20 -0400
Subject: Big reorganisation of the repo

---
 notes/formalisation.pdf | Bin 312600 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 notes/formalisation.pdf

(limited to 'notes/formalisation.pdf')

diff --git a/notes/formalisation.pdf b/notes/formalisation.pdf
deleted file mode 100644
index 760abe0..0000000
Binary files a/notes/formalisation.pdf and /dev/null differ
-- 
cgit v1.2.3-70-g09d2