ignore more generated files

diff --git a/.gitignore b/.gitignore
index b9658a37139615a32bc24635fe681871bed84a7c..bd67a8f01c60431c7ec2f7f1f607a5a7e96f69c8 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
 # backup files
 *~
+*.save
 
 # generated files
 *.gdb
@@ -15,6 +16,7 @@ log
 /out
 
 # Session files
+*.lock
 /.bugz_cookie
 /.codereview_upload_cookies
 /.compiz/session/