Code

Switch tlapm to cmdliner#177

Code

Open

glondu wants to merge 2 commits intotlaplus:maintlaplus/tlapm:mainfrom glondu:cmdliner-tlapmglondu/tlapm:cmdliner-tlapmCopy head branch name to clipboard

+285-163

Commits

Commits on Dec 11, 2024

• Remove references to deprecated --isaprove option

  Show description for f63ccf5
  

  Stephane Glondu

  committed
  f63ccf5

  Copy full SHA for f63ccf5

• Use cmdliner in tlapm

  Show description for 178acd7
  

  Stephane Glondu

  committed
  178acd7

  Copy full SHA for 178acd7