Andrea Conti
|
fa2186d95e
|
Update Julia language server run command
|
2020-12-12 00:16:09 +01:00 |
|
Daniel Wennberg
|
d50e603177
|
Support both old (<0.7) and new Julia versions
Closes #1931
|
2018-09-19 07:34:11 -07:00 |
|
w0rp
|
0b163ec656
|
Fix the Julia languagserver linter for Julia 0.7
|
2018-09-17 09:16:41 +01:00 |
|
Bartolomeo Stellato
|
97ed25a8bf
|
Escape julia command + reorder table in README
|
2018-09-09 10:09:05 -04:00 |
|
Bartolomeo Stellato
|
91bb948b90
|
Try to fix CI
|
2018-09-08 14:11:11 -04:00 |
|
Bartolomeo Stellato
|
68ac4d1095
|
Fix julia escaping + minor edits
|
2018-09-07 14:13:44 -04:00 |
|
Bartolomeo Stellato
|
f64f0bb48c
|
Added tests
|
2018-09-07 13:16:22 -04:00 |
|