chore: cleanup by removing doc Makefile and gitignore third part temp…

…late
Guibod · Feb 5, 2023 · fbc9cb4 · fbc9cb4
1 parent e56b22a
commit fbc9cb4
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 21 deletions.
diff --git a/docs/.gitignore b/docs/.gitignore
diff --git a/docs/Makefile b/docs/Makefile