diff options
Diffstat (limited to '.mrconfig.in')
-rw-r--r-- | .mrconfig.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.mrconfig.in b/.mrconfig.in index 49ca9f69..eecef3ef 100644 --- a/.mrconfig.in +++ b/.mrconfig.in @@ -84,7 +84,7 @@ lib = return 1 } workstation() { - on swhitton@zephyr spwhitton@melete + on swhitton@zephyr spwhitton@melete spwhitton@erebus } mine() { workstation || on spwhitton@athena |