From dbdc4bcb67fa9bf1dba52c30e1fa3821f0042b53 Mon Sep 17 00:00:00 2001 From: Thomas Willingham Date: Mon, 17 Sep 2012 14:52:26 +0100 Subject: [PATCH] Gitignore seems to have been overwritten with somebody's personal copy - put the old one back. --- .gitignore | 1 - 1 file changed, 1 deletion(-) diff --git a/.gitignore b/.gitignore index 34675be90b..a1e29803c9 100644 --- a/.gitignore +++ b/.gitignore @@ -22,4 +22,3 @@ report/ .externalToolBuilders .settings -view/theme/smoothly \ No newline at end of file