Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Gérard Huet
Heritage_Resources
Repository
Heritage_Resources
DATA
transinde.rem
Find file
History
Permalink
undo renaming undecls, back to standard terminology
· 1754c207
Gérard Huet
authored
Feb 23, 2018
1754c207