[github actions] deploy

RoboCupAtHome · Oct 23, 2023 · f0dec32 · f0dec32
1 parent 4ca8eb1
commit f0dec32
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/rulebook/master.pdf b/rulebook/master.pdf
diff --git a/score_sheets/master.pdf b/score_sheets/master.pdf