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