]> git.tuebingen.mpg.de Git - osl.git/commitdiff
Merge branch 'refs/heads/t/build' into next
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 16 Jun 2020 14:44:25 +0000 (16:44 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 16 Jun 2020 14:44:25 +0000 (16:44 +0200)
* refs/heads/t/build:
  Don't mention MacOS and Solaris in README and INSTALL.


Trivial merge