Mercurial > hg > dbtune-rdf-services

diff peel/urispace/log.pl @ 8:6c62142a8b93

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mapping fixes
author Chris Cannam
date Thu, 02 Nov 2017 10:42:33 +0000
parents d100023520b4
children
line wrap: on
line diff
--- a/peel/urispace/log.pl	Thu Nov 02 10:37:03 2017 +0000
+++ b/peel/urispace/log.pl	Thu Nov 02 10:42:33 2017 +0000
@@ -5,7 +5,7 @@
 :- module(log,[log/1,log/2]).
 
 
-log_file('jamendo-uri.log').
+log_file('peel-uri.log').
 
 log(MessageFormat,Vars) :-
 	sformat(String,MessageFormat,Vars),