From b22b737b6a9d2e33fda3d14d3c52a651b5d4afc5 Mon Sep 17 00:00:00 2001 From: Charles Dang Date: Mon, 24 Mar 2025 11:28:46 -0400 Subject: [PATCH] Help: remove redundant era name header The title already gives the name --- src/help/help_impl.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/help/help_impl.cpp b/src/help/help_impl.cpp index fa266e72e9c..8e5c2808044 100644 --- a/src/help/help_impl.cpp +++ b/src/help/help_impl.cpp @@ -619,8 +619,6 @@ std::vector generate_era_topics(const bool sort_generated, const std::str } std::stringstream text; - text << markup::tag("header", _("Era:"), " ", era["name"]) << "\n"; - text << "\n"; const config::attribute_value& description = era["description"]; if (!description.empty()) { text << description.t_str() << "\n";