Skip to content
GitLab
Explore
Sign in
Register
curry
curry-tools
Repository
curry-tools
spicey
Makefile
Find file
Blame
History
Permalink
Makefile: more dependencies for parallel make added
· bd999974
Michael Hanus
authored
Feb 24, 2017
bd999974