Skip to content
GitLab
Explore
Sign in
Register
curry
curry-frontend
Repository
curry-frontend
src
Checks
ExportCheck.hs
Find file
Blame
History
Permalink
Fix restricted re-export of record labels
· 710c052a
Kai-Oliver Prott
authored
Oct 18, 2019
710c052a