Skip to content

Commit

Permalink
bump version to 2019.12.07 to make new release
Browse files Browse the repository at this point in the history
  • Loading branch information
kamalsaleh committed Dec 10, 2019
1 parent 5e0b815 commit 6da0edd
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "CddInterface",
Subtitle := "Gap interface to Cdd package",
Version := "2019.12.06",
Version := "2019.12.07",
Date := ~.Version{[ 1 .. 10 ]},
Date := Concatenation( ~.Date{[ 9, 10 ]}, "/", ~.Date{[ 6, 7 ]}, "/", ~.Date{[ 1 .. 4 ]} ),
License := "GPL-2.0-or-later",
Expand Down
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ The GAP 4 package `CddInterface'

# Version

Current version: 2019.12.06
Current version: 2019.12.07

# Why CddInterface

Expand Down

0 comments on commit 6da0edd

Please sign in to comment.