From 961099e58e59c74ac436e27df038a65e3a1be169 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Thu, 4 Jul 2024 18:20:10 +0200 Subject: [PATCH] Don't try to read buildman.g (it was removed in 2012) --- init.g | 1 - 1 file changed, 1 deletion(-) diff --git a/init.g b/init.g index 158d758..9bd7267 100644 --- a/init.g +++ b/init.g @@ -14,7 +14,6 @@ ReadPackage( "congruence", "lib/farey.gd" ); # read the other part of code ReadPackage( "congruence", "lib/cong.g" ); -ReadPackage( "congruence", "lib/buildman.g" ); ReadPackage( "congruence", "lib/factor.g" ); # set the default InfoLevel