From 777956919a4c67fef42b1264101820071c1461a7 Mon Sep 17 00:00:00 2001 From: Thibaut Horel Date: Wed, 19 Nov 2014 19:48:44 -0500 Subject: Removing compiled file, changing structure --- formalisation.pdf | Bin 182207 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 formalisation.pdf (limited to 'formalisation.pdf') diff --git a/formalisation.pdf b/formalisation.pdf deleted file mode 100644 index a8890af..0000000 Binary files a/formalisation.pdf and /dev/null differ -- cgit v1.2.3-70-g09d2