fix doc name

clementtalleu · Jun 6, 2024 · f706987 · f706987
1 parent eaa22d3
commit f706987
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/docs/docker_integation.md → docs/docker_integration.md b/docs/docker_integation.md → docs/docker_integration.md