Closed moll closed 10 years ago
Hey,
Currently the plugin seems to be called Colorizer, yet the repository is named color_highlight. This is a bit confusing and it would do good to be consistent. Fortunately renaming a repo on GitHub sets up a redirect so existing URLs won't break.
color_highlight
ok, good to know. I always wanted to rename the repository, but was afraid of breaking URLs, so I didn't.
Hey,
Currently the plugin seems to be called Colorizer, yet the repository is named
color_highlight
. This is a bit confusing and it would do good to be consistent. Fortunately renaming a repo on GitHub sets up a redirect so existing URLs won't break.