Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
math_transfer
Repository
math_transfer
core
arith
theorems
Makefile
Find file
Blame
History
Permalink
Centralize the listing of generated extensions used in the "clean" target
· 53a5553c
Raphael Cauderlier
authored
Apr 09, 2017
53a5553c