[previous] [up] [next]     [contents] [index]
Next: mred:save-user-preferences Up: Preferences Previous: mred:read-user-preferences

mred:restore-defaults



PLT