- Dec 09, 2020
- Dec 01, 2020
- Nov 30, 2020
-
-
usov_i authored
-
- Nov 24, 2020
- Nov 23, 2020
- Nov 18, 2020
- Nov 17, 2020
-
-
JakHolzer authored
This is the first shot at the new merge function. I didnt wanna rewrite the previous before we agree on this, since I think there will be some changes. Therefore I would like to discuss this first. Since we agreed not to do is as previously, ergo first scan everything and then merge or add, I've tried to do these function recursive. Haven't tested it much, I would like to agree if this would be a good way on how to write it.
-
- Nov 12, 2020
-
-
usov_i authored
-
- Nov 10, 2020
- Nov 09, 2020
- Nov 07, 2020
-
-
usov_i authored
-
- Nov 06, 2020
- Nov 05, 2020
-
-
usov_i authored