diff options
| author | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:20:26 +0100 |
|---|---|---|
| committer | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:20:26 +0100 |
| commit | 3bae3974854a2b1101332eb145ddea53c439eb31 (patch) | |
| tree | 1910e57d973e21365ec36d4be76f8367b352eb2f /save.pl~ | |
| parent | b612d003a57e5f4de312872fcabfd50f4d732a5e (diff) | |
| download | save-3bae3974854a2b1101332eb145ddea53c439eb31.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. |