18 Aug
2014
18 Aug
'14
4:05 p.m.
On Mon, Aug 18, 2014, Daniel James wrote:
Creates a single location for the data, which is currently duplicated in several different places, and is often inconsistent. We might also add more data, such as expected failures.
I wonder if the root index.html in every library could be generated from information specified in meta/libraries.json also - instead of each library providing a handwritten version with not much more than a redirect. Glen