Changes

Jump to navigation Jump to search

Project Infrastructure

4 bytes added, 04:12, 30 March 2017
m
Link added.
The project sources, web pages, and related tools are spread over a number of different services.
As discussed at [[OctConf 2017]], we would like to consolidate and update some of these resources so that they are easier to keep track of and manage.
Here is a summary of what we are currently using:

Navigation menu