Skip to content

[WIP] Logipedia: Update to Dedukti 2.7#36

Open
francoisthire wants to merge 1 commit into
masterfrom
francois@Dedukti-2.7
Open

[WIP] Logipedia: Update to Dedukti 2.7#36
francoisthire wants to merge 1 commit into
masterfrom
francois@Dedukti-2.7

Logipedia: Update to Dedukti 2.7

a38a53c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs