Project Infrastructure: Difference between revisions

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 ===