diff options
| author | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:24:32 +0100 |
|---|---|---|
| committer | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:24:32 +0100 |
| commit | 7628f46fe0b35eec8ae6d4045693ca3f9598819d (patch) | |
| tree | 993a4bbec269292c025aae3633cb6486bbf37a96 /save.pl~ | |
| parent | 67b06ee461ade5982ab7d88673737fcc9eefea21 (diff) | |
| download | save-7628f46fe0b35eec8ae6d4045693ca3f9598819d.tar.gz | |
M save.pl
M save.pl~
Diffstat (limited to 'save.pl~')
| -rw-r--r-- | save.pl~ | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -94,5 +94,5 @@ commited(S) :- send(@display, report, error, 'Files could not be saved.'). -commited(exit(_)) :- +commited(_) :- halt. |