Provided by: emerald_0.8.18-4.2build1_amd64 bug

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)