[previous] [up] [next]     [contents] [index]
Next: mred:set-preference Up: Preferences Previous: mred:restore-defaults

mred:save-user-preferences



PLT