Skip to content

Commit 64b4b50

Browse files
Update workshop2025.md
1 parent 877244c commit 64b4b50

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

workshop2025.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ arises.
3939

4040
| Tuesday | |
4141
|:--------------|-------------|
42-
| 10:00 - 10:30 | Fredrik Johansson, *Using FLINT's generics* |
42+
| 11:00 - 11:45 | Fredrik Johansson, *Using FLINT's generics* |
4343
| 19:30 | Social dinner at *Le Living-Room* |
4444

4545
| Wednesday | |

0 commit comments

Comments
 (0)