Skip to content

yann@Dedukti-2.7#37

Draft
yannl35133 wants to merge 1 commit into
Deducteam:francois@Dedukti-2.7from
yannl35133:yann@Dedukti-2.7
Draft

yann@Dedukti-2.7#37
yannl35133 wants to merge 1 commit into
Deducteam:francois@Dedukti-2.7from
yannl35133:yann@Dedukti-2.7

Add d{edukti }env{ironment} arguments to all functions who need one

12c71a7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs