git.tue.mpg.de Git - osl.git/commit

author	Andre Noll <maan@tuebingen.mpg.de>
	Tue, 16 Jun 2020 14:44:25 +0000 (16:44 +0200)
committer	Andre Noll <maan@tuebingen.mpg.de>
	Tue, 16 Jun 2020 14:44:25 +0000 (16:44 +0200)
commit	4ef5f06cef7a9602fe140c55a7f6c0608b44b81a
tree	c0e858e5e3398531e8d83d96ccab1e7b46146892	tree \| snapshot
parent	04cb84a05d9f3e41d43dcfe8d6ed0ee1fcc2558b	commit \| diff
parent	c283f067d330a9288aec5510836cd4a898dd07df	commit \| diff

Merge branch 'refs/heads/t/build' into next

* refs/heads/t/build:
Don't mention MacOS and Solaris in README and INSTALL.