From: Andre Noll <maan@tuebingen.mpg.de>
Date: Wed, 23 Sep 2020 16:49:52 +0000 (+0200)
Subject: Merge branch 'master' into next
X-Git-Tag: v0.2.0~2
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=e931498be233820c2912c9100045cba4680086fa;p=osl.git

Merge branch 'master' into next

* master:
  web: Add style sheet.
  web: Streamline INSTALL.
  web: Simplify main page.
  web: Let logo link to index.html rather than ".".
  web: Don't duplicate the html header.
  web: Get rid of doxygen.
  web: Convert QUICK_START to markdown syntax.
  web: Fix typo in README.
---

e931498be233820c2912c9100045cba4680086fa