color-theme - Bugs: bug #29924, Conflict between color-theme and...
bug #29924: Conflict between color-theme and customized face
No changes have been made to this item
Powered by Savane 3.13-f8d8.
Corresponding source code
Powered by Savane 3.13-f8d8.
Corresponding source code