Skip to content

Remove old exercises files - #149

Merged
fonsp merged 1 commit into
mainfrom
remove-old-exercises
Aug 19, 2025
Merged

Remove old exercises files#149
fonsp merged 1 commit into
mainfrom
remove-old-exercises

Conversation

@fonsp

@fonsp fonsp commented Aug 18, 2025

Copy link
Copy Markdown
Member

This removes the exercises/ folder, since all exercises have been moved to lectures.

I searched all files, and there are no more references to exercises/ files, so they can be safely removed without breaking links.

@fonsp
fonsp requested a review from bertdv August 18, 2025 14:00
@fonsp
fonsp merged commit b15d835 into main Aug 19, 2025
1 check passed
@fonsp
fonsp deleted the remove-old-exercises branch August 19, 2025 12:10
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.

1 participant