diff options
author | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:15:24 +0100 |
---|---|---|
committer | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:15:24 +0100 |
commit | cb9e96dfd1e839ab2b281ca32efb0a2af8fa3fa1 (patch) | |
tree | e151dcb090e12bb0d9b310dc1e8ad00b212cb004 /save.pl~ | |
parent | 19000282bbc33371fa9843a09b070943fca29337 (diff) | |
download | save-cb9e96dfd1e839ab2b281ca32efb0a2af8fa3fa1.tar.gz |
M save.exe
M save.pl
M save.pl~
Diffstat (limited to 'save.pl~')
-rw-r--r-- | save.pl~ | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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. |