emerald-theme-manager(1) Emerald emerald-theme-manager(1) 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) The 2006-10-19 emerald-theme-manager(1)
Generated by dwww version 1.15 on Sat Jun 29 02:26:56 CEST 2024.