👌 Add SavingOptions to save_result API #966
Merged
s-weigand merged 11 commits intoglotaran:mainfrom s-weigand:improve-saving-optionsJan 24, 2022
+296-65
Commits
Commits on Jan 24, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
