emerald-theme-manager man page

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)

Referenced By

emerald(1).

2006-10-19 The Emerald