versioned_graph/commit
minor in comments
author | Jacco van Ossenbruggen |
---|---|
Fri Jun 20 12:10:44 2014 +0200 | |
committer | Jacco van Ossenbruggen |
Fri Jun 20 12:10:44 2014 +0200 | |
commit | bb1d41cb2396250fc7035c94ac685b9b3a00f862 |
tree | 79b1072904a78dec008bf4cd0370d86e94278543 |
parent | c2240adfccd5ea27880e60f02ab38bc58585124c |
Diff style: patch stat
diff --git a/lib/graph_version.pl b/lib/graph_version.pl index c8603f2..0859a37 100644 --- a/lib/graph_version.pl +++ b/lib/graph_version.pl @@ -1,12 +1,12 @@ :- module(graph_version, [gv_init/0, % Initialize RDF/GIT repo if needed + gv_commit/5, % +GraphList, +Committer, +Message, -Commit, +Options gv_current_branch/1, % -Branch, Branch is URI of current branch gv_branch_head/2, % +Branch, -HEAD, HEAD is Trusty URI of tip of Branch gv_head/1, % -HEAD is Trusty URI of tip of current branch gv_checkout/0, % Load RDF named graphs from current HEAD gv_checkout/1, % Restore named graphs from commit - gv_commit/5, gv_resource_commit/4, % deprecated gv_commit_property/2, gv_diff/6,