Merged in lucg/thor (pull request #1)
Hey Joao,
Two small things to consider:
Simpler Makefile. Makes it a bit easier to modify and less writing, mostly.
Don't put binaries into the repo.
But keep the folders.
This will also create the folder results which was missing.
results
Hey Joao,
Two small things to consider:
Simpler Makefile. Makes it a bit easier to modify and less writing, mostly.
Don't put binaries into the repo.
But keep the folders.
This will also create the folder
results
which was missing.