From 6824a6b57b515e0dbdd202eecd780948d2828726 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Sat, 15 Jun 2024 02:40:34 +0200 Subject: [PATCH] Add PackageInfo.g date formatting comment --- PackageInfo.g | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/PackageInfo.g b/PackageInfo.g index 5721142..0ea9580 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -9,8 +9,9 @@ SetPackageInfo( rec( PackageName := "GUAVA", Subtitle := "a GAP package for computing with error-correcting codes", Version := "3.19", - Date := "21/03/2024", + Date := "21/03/2024", # dd/mm/yyyy format License := "GPL-2.0-or-later", + SourceRepository := rec( Type := "git", URL := Concatenation( @@ -271,5 +272,3 @@ AutoDoc := rec( ), )); - -