Remove unused OtherPackagesLoadedInAdvance

gap-packages · Aug 19, 2024 · 309b42c · 309b42c
1 parent 465918e
commit 309b42c
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -81,7 +81,6 @@ SetPackageInfo( rec(
 
     NeededOtherPackages := [["GAPDoc", ">= 1.6"],["GRAPE",">= 4.8"],["design",">= 1.7"],["Digraphs",">= 0.15.2"]],
     SuggestedOtherPackages := [],
-    OtherPackagesLoadedInAdvance := [],
 
     ExternalConditions := []