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
@@ -95,4 +95,4 @@ commited(S) :- 'Files could not be saved.'). commited(_) :- - halt. + send(@pce, destroy). |