The dev server only does dev builds, so remove the dev server's so-called prod (aka...

[invirt/packages/xvm-devconfig.git] / k5login

diff --git a/k5login b/k5login
index cc72836..a3d3666 100644 (file)
--- a/k5login
+++ b/k5login
@@ -58,3 +58,7 @@ jon@CSAIL.MIT.EDU
 schwa@CSAIL.MIT.EDU
 dennison@ATHENA.MIT.EDU
 dennison/root@ATHENA.MIT.EDU
+dvorak42@ATHENA.MIT.EDU
+dvorak42/root@ATHENA.MIT.EDU
+glasgall@ATHENA.MIT.EDU
+glasgall/root@ATHENA.MIT.EDU