Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
math_transfer
Repository
math_transfer
configure
Find file
Blame
History
Permalink
Allow both Dedukti v2.5 and Dedukti v2.6 as long as Sukerujo has the
· c8bf4e76
Raphael Cauderlier
authored
Mar 26, 2017
same version
c8bf4e76