From 305a812cd50790938e8693fb212dcdb954373dcf Mon Sep 17 00:00:00 2001 From: Kamal Saleh Date: Wed, 18 Dec 2019 15:57:53 +0100 Subject: [PATCH] bump version --- PackageInfo.g | 2 +- README.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/PackageInfo.g b/PackageInfo.g index 862bd39..67f647d 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "CddInterface", Subtitle := "Gap interface to Cdd package", -Version := "2019.12.09", +Version := "2019.12.11", Date := ~.Version{[ 1 .. 10 ]}, Date := Concatenation( ~.Date{[ 9, 10 ]}, "/", ~.Date{[ 6, 7 ]}, "/", ~.Date{[ 1 .. 4 ]} ), License := "GPL-2.0-or-later", diff --git a/README.md b/README.md index a4fc4b9..1d9d1bf 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,7 @@ The GAP 4 package `CddInterface' # Version -Current version: 2019.12.09 +Current version: 2019.12.11 # Why CddInterface