diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-08-24 23:06:18 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-08-24 23:06:18 +0200 |
| commit | 322e97cb11e0f05d839b99566106a6c7c9f4877f (patch) | |
| tree | 0185a6dcea03efa7db7631f3ad0f672edf781f1b /doc/logos | |
| parent | cbcfc56e5a122af975db6c4caf87a296124f88aa (diff) | |
shutdown when done
Diffstat (limited to 'doc/logos')
0 files changed, 0 insertions, 0 deletions