delete old stuff

purs3lab · Aug 5, 2023 · e6f1b66 · e6f1b66
1 parent 70171ca
commit e6f1b66
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 10 deletions.
diff --git a/file/dsn21_PatchDB.bib b/file/dsn21_PatchDB.bib
diff --git a/file/dsn21_slides_wang.pdf b/file/dsn21_slides_wang.pdf
diff --git a/vid/DSN21_regular_176_wang.mp4 b/vid/DSN21_regular_176_wang.mp4