263
edits
Project Infrastructure: Difference between revisions
→Hosted on jwe's digitalocean.com account
| Line 119: | Line 119: | ||
* master server for our [[Continuous_Build#Buildbot|Buildbot]] installation | * master server for our [[Continuous_Build#Buildbot|Buildbot]] installation | ||
=== hg.octave.org === | |||
* copies of various octave-releated mercurial archives, including our gnulib mirror | |||
=== agora.octave.org === | === agora.octave.org === | ||