e765b1e85f
* Use product icons instead of 'hardcoded' icons - Add a product icon font instead of icons that are unchangable by product icon themes - Add a script using FontForge scripting API for generating product icon font for future use - Remove redundant icons that are already part of codicons * Revert accidental addition of 'languages' contribution entry |
||
|---|---|---|
| .. | ||
| pr-creator | ||
| product-icon-font-generator | ||