emerald-theme-manager - Man Page
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
Referenced By
2006-10-19 The Emerald