Code

Lean: improve handling of arguments#1015

Code

Merged

Alasdair merged 1 commit intorems-project:sail2rems-project/sail:sail2from ineol:lean-better-argsineol/sail:lean-better-argsCopy head branch name to clipboardFeb 16, 2025

+259-106

Commits

Commits on Feb 15, 2025

• Lean: improve handling of arguments

  Show description for b86ea3c
  ineol

  committed
  b86ea3c

  Copy full SHA for b86ea3c