From e05bb7b91654bc05c91c1139ea7a45680837fd58 Mon Sep 17 00:00:00 2001
From: Felix Ruess <felix.ruess@gmail.com>
Date: Sat, 27 Nov 2010 13:24:24 +0100
Subject: [PATCH] add backup files (with tilde) to gitignore

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index 1e2145660d..56364c34ca 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,8 @@
 *.[oa]
 *.out
 
+*~
+
 *.pyc
 
 *.cmo