Skip to content
GitLab
Explore
Sign in
Register
curry-packages
cpm
Repository
cpm
Makefile
Find file
Blame
History
Permalink
Move Select_ORG.curry to Select.curry.pp and change auto-generation
· ab74108c
Michael Hanus
authored
May 25, 2023
ab74108c