Commit Graph

5 Commits

Author SHA1 Message Date
dc10504b80 Port from julia version instead 2022-06-18 22:27:38 +02:00
0a3327f076 Refactor some code 2022-06-15 11:27:24 +02:00
9b025fb53a Use PlayerIndex instead of String 2022-06-14 22:51:11 +02:00
3fbac02de3 It works, or so it seems 2022-06-13 23:18:19 +02:00
1b6e07225b Handle case where there is no time 2022-06-13 21:55:43 +02:00