move devtools to separate directory, make HTML-based inspector work
authorRobert Kaiser <kairo@kairo.at>
Sun, 22 May 2016 22:20:27 +0000 (00:20 +0200)
committerRobert Kaiser <kairo@kairo.at>
Sun, 22 May 2016 22:20:27 +0000 (00:20 +0200)

No differences found