diff options
Diffstat (limited to 'save.pl')
-rw-r--r-- | save.pl | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -82,4 +82,4 @@ chain_atom_x(C, A0, A) :- ). commit(Msg) :- - process_create(path(git), ['commit', '-m', Msg], []). + process_create(path(git), ['commit', '-m', Msg], []); true. |