Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
AltSubst.v
Find file
Blame
History
Permalink
WIP: changing the main and alt definitions for subst
· 7f6fba3a
Pierre Letouzey
authored
May 29, 2019
7f6fba3a