diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-08-23 22:01:14 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-08-23 22:01:14 +0200 |
| commit | cadd58c4f66fb861f51f11c30c28217e4362a5d5 (patch) | |
| tree | 4094f52358491142064eb7fe64e2ab70c3f7a8c6 /ChangeLog | |
| parent | ad4b829e2feae6dc9aee2d5fe35cf9c6a3d09e6d (diff) | |
cleaner exiting
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions