182
edits
ArunGiridhar (talk | contribs) (updated header) |
|||
Line 1: | Line 1: | ||
The project sources, web pages, and related tools are spread over a number of different services. | The project sources, web pages, and related tools are spread over a number of different services. Many of these services have been consolidated over the years to make management easier. | ||
Here is a summary of what we are currently using, as of August 2022: | |||
Here is a summary of what we are currently using: | |||
== jwe's DreamHost account == | == jwe's DreamHost account == |
edits