mirror of
https://github.com/wavetermdev/waveterm.git
synced 2024-12-22 16:48:23 +01:00
040bcf49b7
This tips modal wasn't discovered often enough in tests, so we are removing it. |
||
---|---|---|
.. | ||
defaultconfig.go | ||
defaultwidgets.json | ||
mimetypes.json | ||
presets.json | ||
settings.json | ||
termthemes.json |