NAME
emerald-theme-manager - The Emerald Theme Manager
SYNOPSIS
emerald-theme-manager
DESCRIPTION
emerald-theme-manager is the theme
manager of emerald. .
- $HOME/.emerald/settings.ini
- Here are the settings stored.
AUTHORS
- Quinn Storm (livinglatexkali@gmail.com)
SEE ALSO
emerald(1)