manuel/labyrinth-frontend
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

feature/polish #2

Merged
manuel merged 3 commits from feature/polish into main 2023-04-16 03:05:20 +02:00
Conversation 0 Commits 3 Files changed 6 +13903 -9768

3 commits

Author SHA1 Message Date
Manuel Friedli
7eecfc3cba Update dependencies. 2023-04-16 03:04:51 +02:00
Manuel Friedli
ae5a58acf8 Enable use of <>-fragment (update dependencies). 
Update style of solution-AND-usermarked fields.
 2023-04-16 02:35:34 +02:00
Manuel Friedli
4b300004b9 Fix the ID update bug. 2023-04-16 01:01:23 +02:00