diff options
author | Ulrich Bauer <ulrich.bauer@tum.de> | 2016-07-17 17:21:50 +0200 |
---|---|---|
committer | Ulrich Bauer <ulrich.bauer@tum.de> | 2016-07-17 17:21:50 +0200 |
commit | 6a0b1ffec58fa36b308f09ea60c910e7a05bcd55 (patch) | |
tree | b05f23afa840ffb913689f9a67e3e41d423e50ab /Makefile | |
parent | 7fc669975e7fdb626ede64f2a13adec54cfbc0d2 (diff) | |
parent | 9072761664a71f914b27df13c81d9e25a4bc6735 (diff) |
Merge branch 'dev'
* dev:
updated benchmarks
updated readme
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions