1emerald-theme-manager(1)            Emerald           emerald-theme-manager(1)
2
3
4

NAME

6       emerald-theme-manager - The Emerald Theme Manager
7

SYNOPSIS

9       emerald-theme-manager
10

DESCRIPTION

12       emerald-theme-manager is the theme manager of emerald.
13
14       $HOME/.emerald/settings.ini
15            Here are the settings stored.
16

AUTHORS

18       - Quinn Storm (livinglatexkali@gmail.com)
19

SEE ALSO

21       emerald(1)
22
23
24
25The                               2006-10-19          emerald-theme-manager(1)
Impressum