From 33f5c7437f06699e62fe39d369147436045463d1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Sat, 22 Jan 2022 18:26:19 +0100 Subject: M save.pl M save.pl~ --- save.pl | 1 - save.pl~ | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/save.pl b/save.pl index ab73aea..2e6a8d8 100644 --- a/save.pl +++ b/save.pl @@ -83,7 +83,6 @@ chain_atom_x(C, A0, A) :- ). commit(Msg) :- - write('creating process'), nl, process_create(path(git), ['commit', '-m', Msg], [process(PID)]), process_wait(PID, S), diff --git a/save.pl~ b/save.pl~ index 72b8dc9..ab73aea 100644 --- a/save.pl~ +++ b/save.pl~ @@ -97,4 +97,4 @@ commited(S) :- 'Files could not be saved.'). commited(_) :- - send(@pce, destroy). + send(@dialog, destroy). -- cgit v1.2.3