diff options
Diffstat (limited to 'operators/operators_generation.manifest')
| -rw-r--r-- | operators/operators_generation.manifest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/operators/operators_generation.manifest b/operators/operators_generation.manifest index b1ae8d0d6..ae6e19ee9 100644 --- a/operators/operators_generation.manifest +++ b/operators/operators_generation.manifest @@ -1 +1 @@ -reference_model: 0.40.1.dev10+ge470314 +reference_model: 0.40.1.dev12+gbc2a3db |