Fix mistaken rename

I meant to rename the deploy script, not the deploy directory.
This commit is contained in:
Ben Sturmfels 2024-02-27 10:23:18 +11:00
parent d8a702c8c9
commit aa26e2f7f0
Signed by: bsturmfels
GPG key ID: 023C05E2C9C068F0
13 changed files with 0 additions and 0 deletions