Thierry Carrez 91350ee208 Add basic HTML output system ... Needs to be served by a web server to work. "cd html && python -m SimpleHTTPServer" should do the trick.		2017-04-20 18:00:26 +02:00
..
ptg.html	Add basic HTML output system	2017-04-20 18:00:26 +02:00
ptg.js	Add basic HTML output system	2017-04-20 18:00:26 +02:00