public
|
Revert "Revert "web: rewrite interface in react""
|
2018-10-06 10:42:31 -05:00 |
src
|
Merge "Add search function to web streaming"
|
2019-04-02 17:18:27 +00:00 |
build
|
Revert "Revert "web: rewrite interface in react""
|
2018-10-06 10:42:31 -05:00 |
package.json
|
Use xterm.js for live log streaming
|
2019-04-01 18:56:23 +02:00 |
yarn.lock
|
Use xterm.js for live log streaming
|
2019-04-01 18:56:23 +02:00 |