From 351a533a1dbbb545e3667caea803f113ddaa7116 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Paris?= Date: Sat, 16 Mar 2024 21:30:02 +0100 Subject: [PATCH] Remove outdated git metadata files Some of it seems related to the previous documentation build system, some of it seems related to IntelliJ. --- docs/.gitignore | 4 ---- docs/.gitmodules | 3 --- 2 files changed, 7 deletions(-) delete mode 100644 docs/.gitignore delete mode 100644 docs/.gitmodules diff --git a/docs/.gitignore b/docs/.gitignore deleted file mode 100644 index 59cd005a9a4..00000000000 --- a/docs/.gitignore +++ /dev/null @@ -1,4 +0,0 @@ -en/_exts/configurationblock.pyc -build -en/_build -.idea diff --git a/docs/.gitmodules b/docs/.gitmodules deleted file mode 100644 index e38d44b0adf..00000000000 --- a/docs/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "en/_theme"] - path = en/_theme - url = https://github.com/doctrine/doctrine-sphinx-theme.git