Remove teal

main
Julius Riegel 8 months ago
parent 4a3f4b1481
commit 97993cede6

@ -85,9 +85,6 @@ config.modules = {
'lua-language-server',
'lua5',
'lua54Packages.luarocks',
'lua54Packages.teal-language-server',
'lua54Packages.cyan',
'lua54Packages.tl',
},
java = mod {
'jdk',

Loading…
Cancel
Save