From c69169f911d53a3a417c5cf552a0fe8e1d9de137 Mon Sep 17 00:00:00 2001 From: jeanpouget-abadie Date: Wed, 19 Nov 2014 19:50:05 -0500 Subject: Adding .gitignore file --- .gitignore | 15 +++++++++++++++ formalisation.pdf | Bin 182207 -> 179913 bytes 2 files changed, 15 insertions(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..c9475d2 --- /dev/null +++ b/.gitignore @@ -0,0 +1,15 @@ +# packages +*.dmg +*.gz +*.tar +*.zip + +# logs +*.pyc +*.aux +*.log + +# OS files +.DS_Store +.DS_Store? + diff --git a/formalisation.pdf b/formalisation.pdf index a8890af..d9daf7b 100644 Binary files a/formalisation.pdf and b/formalisation.pdf differ -- cgit v1.3