From d49e923986a88131ed96d63a6db02ce5cec16585 Mon Sep 17 00:00:00 2001 From: PatR Date: Mon, 20 Nov 2023 12:26:51 -0800 Subject: [PATCH] engraving #whatis bit The symbol/tile renaming for engravings made this unnecessary. --- src/pager.c | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/pager.c b/src/pager.c index c92220114..6c8e94e0b 100644 --- a/src/pager.c +++ b/src/pager.c @@ -1123,9 +1123,6 @@ add_cmap_descr( /* thawing ice ("solid ice", "thin ice", &c) */ || ((p = strchr(x_str, ' ')) != 0 && !strcmpi(p, " ice")) ); - } else if (idx == S_engroom || idx == S_engrcorr) { - x_str = "engraving"; - article = 1; } if (!found) {