From 7e6cd9679e279e2ea4294945f645a24f2001d154 Mon Sep 17 00:00:00 2001 From: Christophe Dervieux Date: Thu, 14 Mar 2024 13:35:58 +0100 Subject: [PATCH] Update pkgs-custom.txt it seems `everyshi` is no more required --- tools/pkgs-custom.txt | 1 - 1 file changed, 1 deletion(-) diff --git a/tools/pkgs-custom.txt b/tools/pkgs-custom.txt index f24109819..5d164f56c 100644 --- a/tools/pkgs-custom.txt +++ b/tools/pkgs-custom.txt @@ -21,7 +21,6 @@ etex etexcmds etoolbox euenc -everyshi fancyvrb filehook firstaid