Merge pull request #435 from nodiscc/update-tbb-diff
commit6ff93c4e6dcc7f138e5f4bf1971a4169a8ce4620
authorpyllyukko <pyllyukko@maimed.org>
Tue, 11 Dec 2018 15:06:04 +0000 (11 15:06 +0000)
committerGitHub <noreply@github.com>
Tue, 11 Dec 2018 15:06:04 +0000 (11 15:06 +0000)
tree563a0d09b8ed3721eb7093c55a74b76b1ad9dd28
parent4549a50afe2ad4a93642cdc73e298b86302eda6f
parent30f04d7844e92ccf9211d6af773def165a37c415
Merge pull request #435 from nodiscc/update-tbb-diff

Update tbb-diff Makefile target