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