2 Commits

Author	SHA1	Message	Date
Maxim Baz	ceb0862438	Add install goal in Makefile	2019-03-18 08:25:29 +01:00
Jakob Unterwurzacher	8c35235c34	Add Makefile ... We are going to use the Makefile to save useful commands without creating too many shell scripts in the top dir.	2019-01-05 12:25:38 +01:00