move devtools to separate directory, make HTML-based inspector work2016-05-22T22:20:27ZRobert Kaiserkairo@kairo.atRobert Kaiserkairo@kairo.at2016-05-22T22:20:27Zhttps://git-public.kairo.at/?p=themes.git;a=commitdiff;h=dc9d5d64a3f915cb832f43050545b432f33504f7
move devtools to separate directory, make HTML-based inspector work