Changes between Version 10 and Version 11 of Help/ResetPreferences


Ignore:
Timestamp:
2013-03-04T14:28:35+01:00 (12 years ago)
Author:
skyper
Comment:

typo

Legend:

Unmodified
Added
Removed
Modified

  • Help/ResetPreferences

    v10 v11  
    3838
    3939== Command line option
    40 The [CommandLineOptions command line option] {{{--reset-preferences}}} resets the preferences to defaults.
     40The [CommandLineOptions command line option] {{{--reset-preferences}}} resets the preferences to default.