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 /save.pl | |
| parent | 4c5f69a4cf721f1e3d49346ed0fdb1faea7977c3 (diff) | |
| download | save-33f5c7437f06699e62fe39d369147436045463d1.tar.gz | |
M save.pl
M save.pl~
Diffstat (limited to 'save.pl')
| -rw-r--r-- | save.pl | 1 |
1 files changed, 0 insertions, 1 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), |