Skip to content
Snippets Groups Projects
Select Git revision
2 results
Compare History
user avatar
Allow both Dedukti v2.5 and Dedukti v2.6 as long as Sukerujo has the
Raphael Cauderlier authored 
same version
c8bf4e76
Name Last commit Last update