Jump to navigation Jump to search
4 bytes added ,  04:12, 30 March 2017
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