Closed tommyshem closed 5 years ago
Micro editor #1276 problems with plugin install error.
// Rubocop plugin "https://raw.githubusercontent.com/computerers/micro-rubocop/master/repo.json"
plugin is missing, might have been deleted from github.
Needs removing from json file.
Micro editor #1276 problems with plugin install error.
// Rubocop plugin "https://raw.githubusercontent.com/computerers/micro-rubocop/master/repo.json"
plugin is missing, might have been deleted from github.
Needs removing from json file.