]>
2020-03-18 | Tom Hughes | Add roles for fuchur and idris | blob | commitdiff | raw |
2017-01-26 | Tom Hughes | Merge remote-tracking branch 'github/pull/102' | blob | commitdiff | raw |
2016-12-08 | Tom Hughes | Drop idris role | blob | commitdiff | raw |
2014-12-23 | Tom Hughes | Increase warning threshol for IO zone on G5 machines | blob | commitdiff | raw | diff to current |
2014-07-05 | Tom Hughes | Update IP addresses etc for move to Wolfson House | blob | commitdiff | raw | diff to current |
2014-06-23 | Tom Hughes | Rename the ucl-internal role to ucl-wates | blob | commitdiff | raw | diff to current |
2014-02-04 | Grant Slater | idris: remove external IP | blob | commitdiff | raw | diff to current |
2013-06-20 | Tom Hughes | Remove tile role from idris | blob | commitdiff | raw | diff to current |
2013-06-18 | Tom Hughes | Add roles from the private repository | blob | commitdiff | raw | diff to current |