aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorjeanpouget-abadie <jean.pougetabadie@gmail.com>2014-11-19 19:50:05 -0500
committerjeanpouget-abadie <jean.pougetabadie@gmail.com>2014-11-19 19:50:05 -0500
commitc69169f911d53a3a417c5cf552a0fe8e1d9de137 (patch)
tree1a87cd8656aed915fabf746e3cb16ec5995e0c9e
parent070077f84b3df6696241dc140f48c8886f8ee047 (diff)
downloadcascades-c69169f911d53a3a417c5cf552a0fe8e1d9de137.tar.gz
Adding .gitignore file
-rw-r--r--.gitignore15
-rw-r--r--formalisation.pdfbin182207 -> 179913 bytes
2 files changed, 15 insertions, 0 deletions
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
--- a/formalisation.pdf
+++ b/formalisation.pdf
Binary files differ