From ad636d9afc3522e8e013fb0a09ed5d8e9ef8aa7d Mon Sep 17 00:00:00 2001 From: Reymond Akpanya Date: Thu, 19 Sep 2024 10:24:09 +0200 Subject: [PATCH] test commit --- makedoc.g | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makedoc.g b/makedoc.g index 0ffcdf1f..486581c0 100644 --- a/makedoc.g +++ b/makedoc.g @@ -1,4 +1,4 @@ -if fail = LoadPackage("AutoDoc", "2019.05.20") then +if fail = LoadPackage("AutoDoc", "2019.05.20") then Error("AutoDoc version 2019.05.20 or newer is required."); QUIT_GAP(1); fi;