emerald-theme-manager
Section: Emerald (1)
Updated: 2006-10-19
Index
Return to Main Contents
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)
Index
- NAME
-
- SYNOPSIS
-
- DESCRIPTION
-
- AUTHORS
-
- SEE ALSO
-
This document was created by
man2html,
using the manual pages.
Time: 17:45:09 GMT, April 27, 2024