remove OCRD_ALL_TOOL_JSON_URL

Co-authored-by: Konstantin Baierer <[email protected]>
OCR-D · Jul 30, 2024 · c7e3800 · c7e3800
1 parent 52a099e
commit c7e3800
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/ocrd_network/constants.py b/src/ocrd_network/constants.py
@@ -7,7 +7,6 @@
 
 NETWORK_PROTOCOLS = ["http://", "https://"]
 OCRD_ALL_TOOL_JSON = "ocrd-all-tool.json"
-OCRD_ALL_TOOL_JSON_URL = "https://ocr-d.de/js/ocrd-all-tool.json"
 # Used as a placeholder to lock all pages when no page_id is specified
 SERVER_ALL_PAGES_PLACEHOLDER = "all_pages"