]> git.tue.mpg.de Git - osl.git/commit
Merge branch 'master' into next
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 23 Sep 2020 16:49:52 +0000 (18:49 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 23 Sep 2020 16:49:52 +0000 (18:49 +0200)
commite931498be233820c2912c9100045cba4680086fa
tree3a40b84396adc641007961a80b3fb22702bab0e4
parenta52a0604fa0a069439f346215171e03067508695
parentd2305288dbd2e71a6235446e5b1a6a5857ccab05
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.
Makefile