Provided by: emerald_0.8.18-4.2build1_amd64
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)