From 4ce2fdcdc7b401ce2e6121414e8361eb84ad0302 Mon Sep 17 00:00:00 2001
From: dellaert <dellaert@cc.gatech.edu>
Date: Thu, 28 Jan 2016 08:24:54 -0800
Subject: [PATCH] Ignore pydev file

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 7850df41b..04e8e76d1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,4 @@
 *.txt.user
 *.txt.user.6d59f0c
 /python-build/
+*.pydevproject