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