Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Lennard Gäher
Iris
Repository
c04340115fd62200e7f1b9341e31acd7e45540a0
Switch branch/tag
iris
Makefile
Find file
Blame
History
Permalink
simplify our build instructions to just "make"
· c0434011
Ralf Jung
authored
Feb 12, 2016
thanks to Christian Doczkal <doczkal@ps.uni-saarland.de> for the Makefile snippet!
c0434011
Ralf Jung authored