Moving work to another machine.

sean-parent · May 13, 2024 · 475b51b · 475b51b
1 parent d6190cd
commit 475b51b
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/presentations/2024-03-07-local-reasoning/2024-03-07-local-reasoning.key b/presentations/2024-03-07-local-reasoning/2024-03-07-local-reasoning.key