emerald-theme-manager(1) Emerald emerald-theme-manager(1)NAMEemerald-theme-manager - The Emerald Theme Manager
SYNOPSISemerald-theme-managerDESCRIPTIONemerald-theme-manager is the theme manager of emerald.
$HOME/.emerald/settings.ini
Here are the settings stored.
AUTHORS
- Quinn Storm (livinglatexkali@gmail.com)
SEE ALSOemerald(1)The 2006-10-19 emerald-theme-manager(1)