Files
openide/plugins
Kirill Likhodedov f73d909187 [git] more logging for Git commands
* Log the time of any Git command to INFO, if it took more than 10 seconds to execute it.
* Log.INFO the fact of marking everything dirty in GitUntrackedFilesHolder: it shouldn't happen often and it produces a long git status invocation.
2012-05-25 19:45:35 +04:00
..
2012-05-25 15:21:30 +04:00
2012-05-22 19:02:50 +04:00
2012-05-24 15:42:37 +02:00
2012-05-24 22:58:21 +04:00
2012-05-25 15:21:30 +04:00