manuel/labyrinth-frontend
1
0
Fork 0
Code Issues2 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
manuel commented 2023-04-16 02:41:19 +02:00
Owner
No description provided.
manuel self-assigned this 2023-04-16 02:41:19 +02:00
manuel added 2 commits 2023-04-16 02:41:20 +02:00 
Update style of solution-AND-usermarked fields.
manuel added 1 commit 2023-04-16 03:04:59 +02:00
manuel merged commit de6b2e8946 into main 2023-04-16 03:05:20 +02:00
manuel deleted branch feature/polish 2023-04-16 03:05:20 +02:00
Sign in to join this conversation.
No reviewers
No labels
bug
duplicate
enhancement
help wanted
invalid
question
wontfix
No milestone
No project
No assignees
manuel
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: manuel/labyrinth-frontend#2
No description provided.
Delete branch "feature/polish"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?