...

diff --git a/.gitignore b/.gitignore
index 433938f11d9976908f5411082d7be81461521c3e..f2c659220d5bc1cbc750befe9d40a9420048f989 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,4 @@
 *.aux
 *.log
 *~
+proceed.pdf

diff --git a/proceed.pdf b/proceed.pdf
deleted file mode 100644 (file)
index e222f1a..0000000
Binary files a/proceed.pdf and /dev/null differ