Diffusion whizardsvn rWHIZARDSVN8870

2036295 Merge branch 'tho/fix-UFO-parameter-translations' into 'master'
rWHIZARDSVN8870
Actions

Tags

None

Subscribers

None

Description

2036295 Merge branch 'tho/fix-UFO-parameter-translations' into 'master'

Details

Provenance

Authored on

Parents

rWHIZARDSVN8869: 95020a3 Merge branch 'tho/fix-UFO-parameter-translations' into 'master'

Branches

Unknown

Tags

Unknown

Event Timeline

jr_reuter committed rWHIZARDSVN8870: 2036295 Merge branch 'tho/fix-UFO-parameter-translations' into 'master'.Mar 8 2023, 3:04 PM

Changes (2)

Path

Size

trunk/

omega/

src/

UFOx_parser.mly

rWHIZARDSVN8870

trunk/omega/src/UFOx.ml

Loading...

trunk/omega/src/UFOx_parser.mly

Loading...