Upstream/waveterm
1
0
Fork 0
mirror of https://github.com/wavetermdev/waveterm.git synced 2024-12-22 16:48:23 +01:00
Code Issues Packages Projects Releases Wiki Activity
e0e4256739
waveterm/frontend/types
History
Evan Simkowitz 74612c7e62
Add user setting for the editor minimap (#321)
2024-09-04 14:00:29 -07:00
..
custom.d.ts Fix the client version in the about modal (#315) 2024-09-03 21:45:44 -07:00
gotypes.d.ts Add user setting for the editor minimap (#321) 2024-09-04 14:00:29 -07:00