Skip to content

Commit

Permalink
Bump version 0.3 => 0.4
Browse files Browse the repository at this point in the history
  • Loading branch information
GeoffChurch committed Jan 22, 2023
1 parent 7896fd9 commit 5c74a8b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion pack.pl
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
name(subsumes).
version('0.3').
version('0.4').
title('Relational term subsumption. subsumes/2 is intended as a relational drop-in replacement for subsumes_term/2. Note that this conflicts with the deprecated predicate terms:subsumes/2.').
author('Geoffrey Churchill', 'geoffrey.a.churchill@gmail.com').
home('https://github.com/GeoffChurch/subsumes').

0 comments on commit 5c74a8b

Please sign in to comment.