]> git.tue.mpg.de Git - osl.git/commit
Merge branch 'refs/heads/t/build' into next
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 15 Jun 2020 23:45:13 +0000 (01:45 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 15 Jun 2020 23:45:13 +0000 (01:45 +0200)
commit04cb84a05d9f3e41d43dcfe8d6ed0ee1fcc2558b
tree7b42e32aab8430894de471eb749c63021aee8be1
parent181a36c1a8a2d2a9b69992707327ea3f5bb23cb4
parent081b6cc153b9bec96fa22940b09ba6f82fd12d50
Merge branch 'refs/heads/t/build' into next

* refs/heads/t/build:
  Makefile: Also build osl.h by default.