 MasterGordon
|
e29721fd08
|
improved icons and added rest/http client
|
2021-10-10 19:27:07 +02:00 |
|
MasterGordon
|
7f9cdd2b11
|
added coq + fixed diagnostics
|
2021-09-27 22:14:28 +02:00 |
|
MasterGordon
|
a0a128b6fe
|
added java lsp
|
2021-09-25 14:09:56 +02:00 |
|
MasterGordon
|
6b9d409af9
|
fixed auto pair
|
2021-09-05 01:38:04 +02:00 |
|
MasterGordon
|
ea877b3883
|
removed signatures
|
2021-08-22 21:54:14 +02:00 |
|
MasterGordon
|
a993fc8313
|
fixed json support
|
2021-08-16 09:10:06 +02:00 |
|
MasterGordon
|
740cca7f0a
|
fixed lsp
|
2021-07-26 23:00:47 +02:00 |
|
MasterGordon
|
bfb2c3e59d
|
moved to lua
|
2021-07-25 16:07:54 +02:00 |