Point elab URL to "https://www.emulab.net/portal/" for now.

78369c5b · Mike Hibler · 8a3bf40e · 78369c5b
Commit 78369c5b authored May 18, 2017 by Mike Hibler
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

defs.rkt defs.rkt +1 -1

No files found.
--- a/defs.rkt
+++ b/defs.rkt
@@ -78,7 +78,7 @@
 	('apt "https://www.aptlab.net/")
 	('clab "https://www.cloudlab.us/")
 	('pnet "https://www.phantomnet.org/")
-	('elab "https://www.emulab.net/")))
+	('elab "https://www.emulab.net/portal/")))

 (define apt-doc-url
  (case (tb-mode)