From 309b42c32ec40875e8f51e004682ec198eaf4ac5 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Mon, 19 Aug 2024 10:58:51 +0200
Subject: [PATCH] Remove unused OtherPackagesLoadedInAdvance

---
 PackageInfo.g | 1 -
 1 file changed, 1 deletion(-)

diff --git a/PackageInfo.g b/PackageInfo.g
index 40e3bd2..b571eea 100644
--- 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 := []