Merge branch 'refs/heads/t/rm_source_browser'
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 19 Dec 2016 17:06:52 +0000 (18:06 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 19 Dec 2016 17:13:01 +0000 (18:13 +0100)
Cooking for five months.

A single patch which gets rid of the source browser generated with
global, reducing the size of the web pages considerably.

* refs/heads/t/rm_source_browser:
  web: Remove extra source browser.

1  2 
NEWS.md

diff --cc NEWS.md
+++ b/NEWS.md
@@@ -1,6 -1,6 +1,16 @@@
  NEWS
  ====
  
++------------------------------------------
++0.5.7 (to be announced) "semantic density"
++------------------------------------------
++
++- One of the two source browsers has been removed from the web pages.
++  The doxygen API reference still contains an HTML version of each
++  source file.
++
++Download: [tarball](./releases/paraslash-git.tar.bz2)
++
  ---------------------------------------
  0.5.6 (2016-07-10) "cascading gradient"
  ---------------------------------------