dump permissions: don't ever start background dumb mode if someone requested it to...
[idea/community.git] / platform / platform-impl / src / com / intellij / openapi / project / DumbPermissionServiceImpl.java
2015-10-28 peterdump permissions: don't ever start background dumb...
2015-10-20 Andrey VlasovskikhMerge branch 'python-fixes'
2015-10-19 petera simpler dumb mode permission policy: allow dumb mode...
2015-08-31 Dmitry TrofimovMerge branch 'master' into traff/zip_helpers
2015-08-24 Ekaterina TuzovaMerge branch 'liana/simplified_debugger'
2015-08-18 Andrey VlasovskikhMerge branch 'master' into vlan/pyi
2015-08-18 Dmitry AvdeevMerge remote-tracking branch 'remotes/origin/merge13...
2015-08-17 Nadya ZabrodinaMerge branch 'nz/shared_shelf'
2015-08-10 Aleksey PivovarovMerge branch 'master' into new-merge
2015-08-07 Alexander KoshevoyMerge branch 'akoshevoy/path_mappers'
2015-08-03 Vladimir.OrlovMerge remote-tracking branch 'origin/master' clion/142.3708 idea/142.3709 pycharm/142.3711 rubymine/142.3710 webstorm/142.3707
2015-08-01 peteralways allow modal dumb mode in all open projects,...