Skip to content

Renaming of cli utilities. Fixes #239. - #243

Merged
FrancescAlted merged 5 commits into
mainfrom
new-cli
Oct 2, 2025
Merged

Renaming of cli utilities. Fixes #239.#243
FrancescAlted merged 5 commits into
mainfrom
new-cli

_caterva2/sub -> _caterva2/state; also, unused logger has been removed.

3515495
Select commit
Loading
Failed to load commit list.
Sign in for the full log view