diff options
| author | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:17:31 +0100 |
|---|---|---|
| committer | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:17:31 +0100 |
| commit | 43cce08cf13573930315ae09683b846b8212e5f0 (patch) | |
| tree | 3f38e7066829f6d993d3fff66800d6c3b7448822 /save.pl~ | |
| parent | 0ca182ce86cd1a7e60bd2260ad5cae92aa59626c (diff) | |
| download | save-43cce08cf13573930315ae09683b846b8212e5f0.tar.gz | |
M save.pl
M save.pl~
Diffstat (limited to 'save.pl~')
| -rw-r--r-- | save.pl~ | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -83,7 +83,6 @@ chain_atom_x(C, A0, A) :- commit(Msg) :- setup_call_cleanup( - process_create(path(git), ['commit', '-m', Msg], []), + process_create(path(git), ['commit', '-m', Msg], [detached(true)]), true, - true - ). + true). |