From b612d003a57e5f4de312872fcabfd50f4d732a5e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Sat, 22 Jan 2022 18:19:46 +0100 Subject: M save.pl M save.pl~ --- save.pl | 1 + 1 file changed, 1 insertion(+) (limited to 'save.pl') diff --git a/save.pl b/save.pl index 2c93580..fac8995 100644 --- a/save.pl +++ b/save.pl @@ -91,4 +91,5 @@ commited(1) :- 'Files could not be saved.'). commited(0) :- + write(success), nl, halt. -- cgit v1.2.3