Option: whdload_version
Summary: WHDLoad version Default: 18.5 Example: 18.1 Type: Choice FIXME: The launcher must be fixed to properly support this option Value: Custom ("Custom") Value: 18.5 Value: 18.4 Value: 18.3 Value: 18.2 Value: 18.1 Value: 18.0 Value: 17.2 Value: 17.1 Value: 17.0 Value: 16.9 Value: 16.8 Value: 16.7 Value: 16.6 Value: 16.5 Value: 16.4 Value: 16.3 Value: 16.2 Value: 16.1 Value: 16.0 Value: 13.0 Value: 10.0