-
Christoph Cullmann authored
this allows to add new servers without needing to adapt the highlighting to mode mapping manually in the plugin sources
1b245783
this allows to add new servers without needing to adapt the highlighting to mode mapping manually in the plugin sources