clarify the difference between labs and lab

see issue #84

clarify the difference between labs and lab
see issue #84
0976965a · yuancun.nie · 4e20a2de · 0976965a
Commit 0976965a authored Jul 15, 2020 by yuancun.nie
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

hosts hosts +1 -1

No files found.
--- a/hosts
+++ b/hosts
@@ -222,7 +222,7 @@ faulus.las.kit.edu
 gutemine.las.kit.edu

 [labs:children]
-lab
+lab # rename 'lab' to 'maglab'?
 tgu

 # semi stable