versioned_graph/commit

minor in comments

authorJacco van Ossenbruggen
Fri Jun 20 12:10:44 2014 +0200
committerJacco van Ossenbruggen
Fri Jun 20 12:10:44 2014 +0200
commitbb1d41cb2396250fc7035c94ac685b9b3a00f862
tree79b1072904a78dec008bf4cd0370d86e94278543
parentc2240adfccd5ea27880e60f02ab38bc58585124c
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,