correct lecture_notes folder name

This commit is contained in:
2023-11-06 12:54:53 +00:00
parent a92f99dae8
commit 11cd8df774
7 changed files with 0 additions and 0 deletions