Merge branch 'orte-publisher-strength'

[eurobot/public.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index b42f682bcc4979e2a9ced85c8dfdf2a4bbf9e314..9588710fd4160b9e9bb22134a3455171661acc6e 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,9 +1,16 @@
-*.[oa]
 *~
 config.omk-default
 config.omk.local
 TAGS
 _compiled
 _build
-_infrastructure
 *.pyc
+cscope.files
+cscope.out
+*.mexglx
+*.kdevelop
+*.kdevelop.filelist
+*.kdevelop.pcs
+*.kdevses
+.emacs.desktop
+