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 >
Hi Roman, Far Manager should now have been listed on the website: https://github.com/editorconfig/editorconfig.github.com/pull/157 Should we label it "FarNet" or "Far Manager"? Thanks, 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/e9d4b577-0a16-c8a6-7c89-4da71e9a0c14%40topbug.net.
