On 12/26/20 6:37 AM, Roman Kuzmin wrote: > Plugin for Far Manager is released. > It is FarNet.EditorKit -- > https://github.com/nightroman/FarNet/tree/master/EditorKit >
Thanks for the plugin! I've opened an issue to track listing the plugin on the website: https://github.com/editorconfig/editorconfig.github.com/issues/136 Hong -- You received this message because you are subscribed to the Google Groups "EditorConfig" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/editorconfig/3e3320d2-0318-67cf-1036-aa41a037c05a%40topbug.net.
