Code

Update command line manual#337

Code

Merged

fblanqui merged 1 commit intoDeducteam:masterDeducteam/Dedukti:masterfrom

Alidra:renameDkCheckAlidra/Dedukti:renameDkCheckCopy head branch name to clipboard

Apr 28, 2025

Commits

Commits on Apr 28, 2025

• rename dkcheck to dk check in doc help and comments

  Alidra

  committed
  4448520

  Copy full SHA for 4448520