From c7e380014d12c36b39b7043246005dcc6d86009c Mon Sep 17 00:00:00 2001
From: Mehmed Mustafa <mehmed.n.mustafa@gmail.com>
Date: Tue, 30 Jul 2024 15:02:46 +0200
Subject: [PATCH] remove OCRD_ALL_TOOL_JSON_URL

Co-authored-by: Konstantin Baierer <kba@users.noreply.github.com>
---
 src/ocrd_network/constants.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/ocrd_network/constants.py b/src/ocrd_network/constants.py
index f3d2de1247..bfa137d9e0 100644
--- 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"