diff --git a/docs/en/boards/boards.rst~HEAD b/docs/en/boards/boards.rst
similarity index 100%
rename from docs/en/boards/boards.rst~HEAD
rename to docs/en/boards/boards.rst