Remove unused OtherPackagesLoadedInAdvance

gap-packages · Aug 19, 2024 · ef1a0de · ef1a0de
1 parent 7eaa27b
commit ef1a0de
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -118,7 +118,6 @@ Dependencies := rec(
   GAP := ">= 4.12",
   NeededOtherPackages := [["GAPDoc", "1.5"]],
   SuggestedOtherPackages := [],
-  # OtherPackagesLoadedInAdvance := [],
   ExternalConditions := []
 ),