gemtools/gemtools — pull request #8 by maikroeder (2013-09-23 07:00:27+00:00)
Title: Write general.json file with general statistics

As discussed last week, I propose to create a new general.json file, so that the information is available outside of the index.html.