diff -r 2a2d0d5df03b -r fda45bdfd68d .hgignore --- a/.hgignore Tue May 06 18:37:43 2014 +0200 +++ b/.hgignore Wed May 07 18:33:50 2014 +0200 @@ -2,6 +2,7 @@ ^.project ^.pydevproject ^.settings/org.eclipse.core.resources.prefs +^.idea/ ^pgtoolkit\.conf$ ^doc/_build/ ^build/