From 206887db43bdda915d97d6bf40afe370132752e9 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Thu, 25 Jun 2015 15:23:33 -0700
Subject: [PATCH] tools: more git ignores

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

diff --git a/.gitignore b/.gitignore
index 48520a75b..ff4ecb91b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -33,3 +33,6 @@ ttt.*
 tttt.*
 ttttt.*
 .stack-work
+.idea
+.project
+profs/*