diff options
author | John Ankarström <john@ankarstrom.se> | 2022-01-22 19:06:51 +0100 |
---|---|---|
committer | John Ankarström <john@ankarstrom.se> | 2022-01-22 19:06:51 +0100 |
commit | 2f5f23782b77f1f5bf31cc5504e02984336a3aba (patch) | |
tree | 864aa83a46d3a6974a101f1864d156909927e8ec /save.pl~ | |
parent | 87b88e85360a2ce8cbb1a0ba9acbe70c90058f87 (diff) | |
download | save-2f5f23782b77f1f5bf31cc5504e02984336a3aba.tar.gz |
M save.exe
M save.pl
M save.pl~
Diffstat (limited to 'save.pl~')
-rw-r--r-- | save.pl~ | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -2,6 +2,9 @@ :- consult(library(pce)). :- consult(library(process)). +:- op(920,fy, *). +*_. + :- pce_begin_class(save_dialog, dialog). unlink(D) :-> @@ -70,7 +73,7 @@ status(C) :- log(C) :- setup_call_cleanup( - process_create(path(git), ['log', '--format=format:%ai'], + process_create(path(git), ['log', '--format=format:%ai %s'], [stdout(pipe(Out))]), read_to_chain(Out, C), close(Out)). |