From f25c0438d9ad4a3f5fed01404941839c782abfff Mon Sep 17 00:00:00 2001 From: Torsten Sommer Date: Wed, 14 Feb 2024 14:28:09 +0100 Subject: [PATCH] Handle undefined fields in tools.json fixes #584 --- content/tools.html | 55 +++++++++++++++++++++++++--------------------- 1 file changed, 30 insertions(+), 25 deletions(-) diff --git a/content/tools.html b/content/tools.html index 7b7f2666..e9dd285f 100644 --- a/content/tools.html +++ b/content/tools.html @@ -120,11 +120,21 @@ - +