Skip to content

Update markers on solutions with small edits#140

Merged
jorisvandenbossche merged 3 commits intomasterfrom
revise-solution-markers
May 30, 2021
Merged

Update markers on solutions with small edits#140
jorisvandenbossche merged 3 commits intomasterfrom
revise-solution-markers

Conversation

@stijnvanhoey
Copy link
Copy Markdown
Collaborator

@jorisvandenbossche adjustments on solutions and some minor editing/formatting and additional info for participants. When recreated, good to go for me!

@jorisvandenbossche jorisvandenbossche merged commit 3a17d11 into master May 30, 2021
@jorisvandenbossche jorisvandenbossche deleted the revise-solution-markers branch May 30, 2021 20:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants