update generated files by Makefile

JuliaTesting · Jun 1, 2023 · fc2efd7 · fc2efd7
1 parent 57854f5
commit fc2efd7
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/badge.svg b/badge.svg
diff --git a/docs/src/assets/favicon.ico b/docs/src/assets/favicon.ico