diff options
author | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:26:19 +0100 |
---|---|---|
committer | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:26:19 +0100 |
commit | 33f5c7437f06699e62fe39d369147436045463d1 (patch) | |
tree | 64e221c00809c3c18786551471089a4ded96ec5c | |
parent | 4c5f69a4cf721f1e3d49346ed0fdb1faea7977c3 (diff) | |
download | save-33f5c7437f06699e62fe39d369147436045463d1.tar.gz |
M save.pl
M save.pl~
-rw-r--r-- | save.pl | 1 | ||||
-rw-r--r-- | save.pl~ | 2 |
2 files changed, 1 insertions, 2 deletions
@@ -83,7 +83,6 @@ chain_atom_x(C, A0, A) :- ). commit(Msg) :- - write('creating process'), nl, process_create(path(git), ['commit', '-m', Msg], [process(PID)]), process_wait(PID, S), @@ -97,4 +97,4 @@ commited(S) :- 'Files could not be saved.'). commited(_) :- - send(@pce, destroy). + send(@dialog, destroy). |