1emerald-theme-manager(1) Emerald emerald-theme-manager(1)
23
4
NAME
6emerald-theme-manager - The Emerald Theme Manager
7
SYNOPSIS
9emerald-theme-manager
10
DESCRIPTION
12emerald-theme-manager is the theme manager of emerald.
1314
$HOME/.emerald/settings.ini
15Here are the settings stored.
16
AUTHORS
18- Quinn Storm (livinglatexkali@gmail.com)
19
SEE ALSO
21emerald(1)
2223
24
25
The 2006-10-19 emerald-theme-manager(1)