![]() ![]()
Remove Jedi-related settings python.jediMemoryLimit and python.jediPath, since they are not used with the new language server implementation.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |