Remove repo docs in favor of hosted docs (#537)

2026-08-08 21:59:33 +00:00 · 2023-09-04 11:59:36 +02:00
parent 78d6699c68
commit 0767bbfecf
11 changed files with 0 additions and 31 deletions
--- a/.dockerignore
+++ b/.dockerignore
@@ -17,8 +17,5 @@ venv/
 # Unneeded graphics
 assets/*

-# Unneeded docs
-docs/*
-
 # for local testing only
 testing.sh