wangweimin 59f3d080d7 maint(frontend): add animation when img and element show 5 years ago
..
codemirror 190d8622cf ref static file from local 5 years ago
css 59f3d080d7 maint(frontend): add animation when img and element show 5 years ago
image b8812be2a3 use favicon.ico to indicate connection status 5 years ago
js 59f3d080d7 maint(frontend): add animation when img and element show 5 years ago
index.html 7b453b9455 add: include plotly in requirejs 5 years ago