Skip to content

solve issue #1407#1427

Open
bodeveix wants to merge 2 commits into
Deducteam:masterfrom
bodeveix:inductive
Open

solve issue #1407#1427
bodeveix wants to merge 2 commits into
Deducteam:masterfrom
bodeveix:inductive

excludes ind_AC

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