Merge branch 'dev' into dev_hrh_global

haorenhui

2023-10-27 1499d8149575493519f2c5b04462c2302a455aa9

1
2
3
4
5
6
7
8
Quintiq file version 2.0
#parent: #root
Attribute OptionBenchmarkStopThreshold
{
  #keys: '3[141320.5.1866244722][141320.5.1866244721][141320.5.1866244723]'
  ValueType: Real
  InterfaceProperties { Accessibility: 'Module' }
}