From 2ce9d072de9afdbd5f0305e97941401538dca521 Mon Sep 17 00:00:00 2001 From: Sean Whitton Date: Mon, 1 Aug 2022 17:38:21 -0700 Subject: designate erebus a workstation --- .mrconfig.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3