Theme files: shorter keys for placeholders
Description
Description
Details
Details
- Committed
dhaumann Sep 25 2016, 5:26 PM - Parents
- R216:e7d03ebb7cd3: API documentation for all EditorColorRoles
- Branches
- Unknown
- Tags
Theme files: shorter keys for placeholders
Theme files: shorter keys for placeholders
Authored by dhaumann on Sep 25 2016, 5:26 PM.
Tags
None
Subscribers
None