some more devtools improvements: make clear button work in newer versions, actually...
authorRobert Kaiser <kairo@kairo.at>
Sun, 12 Jun 2016 22:53:05 +0000 (00:53 +0200)
committerRobert Kaiser <kairo@kairo.at>
Sun, 12 Jun 2016 22:53:05 +0000 (00:53 +0200)

No differences found