Added personal/ to .gitignore

rictic · Mar 28, 2009 · e491173 · e491173
1 parent 478f1ca
commit e491173
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -8,4 +8,5 @@ frames
 *.pyc
 *.proof
 image_cache
-defaults/user.config
+defaults/user.config
+personal/