diff options
| author | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:19:46 +0100 |
|---|---|---|
| committer | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:19:46 +0100 |
| commit | b612d003a57e5f4de312872fcabfd50f4d732a5e (patch) | |
| tree | d9bfe8e311564aba0a6f745c52a322fd3fc0e970 /save.pl | |
| parent | d258adb0a5b6d3a7f44d6d1f7b1c40d503e74543 (diff) | |
| download | save-b612d003a57e5f4de312872fcabfd50f4d732a5e.tar.gz | |
M save.pl
M save.pl~
Diffstat (limited to 'save.pl')
| -rw-r--r-- | save.pl | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -91,4 +91,5 @@ commited(1) :- 'Files could not be saved.'). commited(0) :- + write(success), nl, halt. |