devtools.html

1<!DOCTYPE html>
2<html>
3<head><meta charset="utf-8"></head>
4<body><script src="devtools.js"></script></body>
5</html>