aboutsummaryrefslogtreecommitdiff
path: root/tw/system/cern.scm
diff options
context:
space:
mode:
Diffstat (limited to 'tw/system/cern.scm')
-rw-r--r--tw/system/cern.scm3
1 files changed, 1 insertions, 2 deletions
diff --git a/tw/system/cern.scm b/tw/system/cern.scm
index c55aeb7e..508a7691 100644
--- a/tw/system/cern.scm
+++ b/tw/system/cern.scm
@@ -243,8 +243,7 @@
;; Use CERN time servers.
(servers '("ip-time-0.cern.ch"
"ip-time-1.cern.ch"
- "ip-time-2.cern.ch"))
- (constraints-from '("home.cern"))))
+ "ip-time-2.cern.ch"))))
(modify-services %desktop-services
(gdm-service-type