Code

Use return() instead of exit()#183

Code

Merged

tkralphs merged 1 commit intocoin-or:mastercoin-or/Osi:masterfrom havardAasen:patch-1havardAasen/Osi:patch-1Copy head branch name to clipboardDec 20, 2023

+1-1

Commits

Commits on Dec 20, 2023

• Use return() instead of exit()

  Show description for 59e302d
  havardAasen

  authored
  59e302d

  Copy full SHA for 59e302d