Closed kmoschcau closed 9 months ago
Also I am not sure whether the icons are case sensitive or not. If they are not, we might also want to remove the upper case ones.
I think the extensions like R
need case sensitivity. There's only a couple...
This would still need the other PR merged in. Also I am not sure whether the icons are case sensitive or not. If they are not, we might also want to remove the upper case ones.