From 38bb1fe77ca0ed57c7ddb9120c12938a3417fd32 Mon Sep 17 00:00:00 2001 From: frankknoll Date: Fri, 28 Apr 2023 10:42:29 +0200 Subject: [PATCH] changing title of html page --- docs/HowBadIsMyBatch.html | 4 ++-- src/help.txt | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/HowBadIsMyBatch.html b/docs/HowBadIsMyBatch.html index 890776ea87a..ea5ebcc8ee1 100644 --- a/docs/HowBadIsMyBatch.html +++ b/docs/HowBadIsMyBatch.html @@ -7,7 +7,7 @@ - How Bad is My Batch + How Bad is My Batch?