summaryrefslogtreecommitdiff
path: root/save.pl~
diff options
context:
space:
mode:
authorJohn Ankarström <john@ankarstrom.se>2022-01-22 18:15:24 +0100
committerJohn Ankarström <john@ankarstrom.se>2022-01-22 18:15:24 +0100
commitcb9e96dfd1e839ab2b281ca32efb0a2af8fa3fa1 (patch)
treee151dcb090e12bb0d9b310dc1e8ad00b212cb004 /save.pl~
parent19000282bbc33371fa9843a09b070943fca29337 (diff)
downloadsave-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
diff --git a/save.pl~ b/save.pl~
index 1a720c4..d9881e3 100644
--- a/save.pl~
+++ b/save.pl~
@@ -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.