wangweimin 014e164db8 change some code naming преди 5 години
..
codemirror d4e55a3d01 Rename to PyWebIO преди 5 години
css 9deed83290 adjust button UI преди 5 години
js 014e164db8 change some code naming преди 5 години
index.html 590908e102 fix: frontend check `is_http_backend` bug преди 5 години