Remove retired files

MWE file is pretty useless, and build hooks aren't needed anymore without Docker Automated Builds
alexpovel · Oct 15, 2021 · 6fbdc2e · 6fbdc2e
1 parent afa8407
commit 6fbdc2e
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 80 deletions.
diff --git a/docker/hooks/build b/docker/hooks/build
diff --git a/docker/tex/minimal-working-example.tex b/docker/tex/minimal-working-example.tex