Code

added missing output_*_getter*#1710

Code

Merged

mohamed-barakat merged 1 commit intohomalg-project:masterhomalg-project/CAP_project:masterfrom mohamed-barakat:missing_getter_preconditionsmohamed-barakat/CAP_project:missing_getter_preconditionsCopy head branch name to clipboardDec 7, 2024

+9-1

Commits

Commits on Dec 3, 2024

• added missing output_*_getter*

  mohamed-barakat

  committed
  712f19c

  Copy full SHA for 712f19c