Merge branch 'dev' into dev_yy

yanweiyuan3

2023-10-10 d901b1ab0ee0b690f5ac211b9cdb1db3a58bca86

1
2
3
4
5
6
7
8
Quintiq file version 2.0
#parent: #root
Attribute BranchName
{
  #keys: '3[139596.4.1566348717][139596.4.1566348716][139596.4.1566348718]'
  Description: 'The active git branch when this `LibOpt_Run` was created.'
  ValueType: String
}