some devtools improvements
authorRobert Kaiser <kairo@kairo.at>
Sun, 19 Apr 2015 23:49:15 +0000 (01:49 +0200)
committerRobert Kaiser <kairo@kairo.at>
Sun, 19 Apr 2015 23:49:15 +0000 (01:49 +0200)

No differences found