chore: add missing static site data

leanprover · Dec 6, 2023 · 558ae83 · 558ae83
1 parent 31cde0e
commit 558ae83
Show file tree

Hide file tree

Showing 9 changed files with 0 additions and 0 deletions.
diff --git a/static/team/david.jpg b/static/team/david.jpg
diff --git a/static/team/joachim.jpg b/static/team/joachim.jpg
diff --git a/static/team/joe.jpg b/static/team/joe.jpg
diff --git a/static/team/kyle.jpg b/static/team/kyle.jpg
diff --git a/static/team/leo.jpg b/static/team/leo.jpg
diff --git a/static/team/mac.jpg b/static/team/mac.jpg
diff --git a/static/team/marc.jpg b/static/team/marc.jpg
diff --git a/static/team/scott.jpg b/static/team/scott.jpg
diff --git a/static/team/sebastian.jpg b/static/team/sebastian.jpg