tree b24c7d1c2e66bdccf5c87c36b5035a988d774ece
parent 3119bc3e23da37d3c18294f29db5582331339503
parent 2e51328fd8526a4ba5db5126351b14aeb6879d9f
author William S Fulton <wsf@fultondesigns.co.uk> 1545162865 +0000
committer William S Fulton <wsf@fultondesigns.co.uk> 1545162865 +0000

Merge branch 'document-python-options'

* document-python-options:
  Changes file update
  Python -newvwm command line option remains undocumented
  Document all the Python command line options
  Python command line options tidyup
  Remove redundant Python options: -nocastmode -nodirvtable -noextranative -nofastproxy
  Tidy up Python command line options help text