Delete docs directory

docs directory not needed in main
soda-inria · Dec 17, 2024 · 53e37ac · 53e37ac
1 parent b53a890
commit 53e37ac
Show file tree

Hide file tree

Showing 93 changed files with 0 additions and 10,695 deletions.
diff --git a/docs/.buildinfo b/docs/.buildinfo
diff --git a/docs/.nojekyll b/docs/.nojekyll
diff --git a/docs/Makefile b/docs/Makefile
diff --git a/docs/_sources/carte_ai.configs.rst.txt b/docs/_sources/carte_ai.configs.rst.txt
diff --git a/docs/_sources/carte_ai.data.rst.txt b/docs/_sources/carte_ai.data.rst.txt
diff --git a/docs/_sources/carte_ai.rst.txt b/docs/_sources/carte_ai.rst.txt
diff --git a/docs/_sources/carte_ai.scripts.rst.txt b/docs/_sources/carte_ai.scripts.rst.txt
diff --git a/docs/_sources/carte_ai.src.rst.txt b/docs/_sources/carte_ai.src.rst.txt
diff --git a/docs/_sources/index.rst.txt b/docs/_sources/index.rst.txt
diff --git a/docs/_sources/modules.rst.txt b/docs/_sources/modules.rst.txt