diff options
-rw-r--r-- | save.exe | bin | 276184 -> 276252 bytes | |||
-rw-r--r-- | save.pl | 2 | ||||
-rw-r--r-- | save.pl~ | 5 |
3 files changed, 6 insertions, 1 deletions
Binary files differ @@ -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. @@ -80,3 +80,8 @@ chain_atom_x(C, A0, A) :- chain_atom_x(C, A3, A) ; A = A0 ). + +commit(Msg) :- + process_create(path(git), ['commit', '-m', Msg], []) + ; + true. |