From 3cf1dc7ca5faabc2c2e093651de17ee010c94e31 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Fri, 8 Nov 2024 02:11:33 +0100 Subject: [PATCH] PackageInfo.g: remove obsolete Autoload entry --- PackageInfo.g | 1 - 1 file changed, 1 deletion(-) diff --git a/PackageInfo.g b/PackageInfo.g index 0ea9580..0702319 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -189,7 +189,6 @@ SetPackageInfo( rec( Subtitle := "error-correcting codes computations", # Should this help book be autoloaded when GAP starts up? This should # usually be 'true', otherwise say 'false'. - Autoload := true ), ## Are there restrictions on the operating system for this package? Or does