rm not needed dir and update pres 2

Polkas · Oct 12, 2023 · df75234 · df75234
1 parent f74429c
commit df75234
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/doc/lectures/aw_02.pdf b/doc/lectures/aw_02.pdf
diff --git a/docs/lectures/aw_02.pdf b/docs/lectures/aw_02.pdf