From 0428ab7a93e3296ba83772a9bf7ca852138f1a0b Mon Sep 17 00:00:00 2001 From: Wouter Swierstra Date: Tue, 2 Jul 2024 11:50:21 +0200 Subject: [PATCH] Room fix. --- schedule.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/schedule.html b/schedule.html index 3e07c8d..409a93b 100644 --- a/schedule.html +++ b/schedule.html @@ -223,21 +223,21 @@

Schedule


Thursday 11/7 09:00 Accelerate (Ivo) - BBG 169 + BBG 165 11:00 Coffee - BBG 169 + BBG 165 11:30 (Jacco & Niek) Labs - BBG 169 + BBG 165 @@ -251,7 +251,7 @@

Schedule


14:00 Type families (Gabriele) - BBG 169 + BBG 165 @@ -265,7 +265,7 @@

Schedule


16:30 Labs - BBG 169 + BBG 165