diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-12-24 23:00:13 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-12-24 23:00:13 +0100 |
| commit | 8d786441b88bb0acb02d6c7ec668d9233581ddcc (patch) | |
| tree | e4c00782681cedb4d53cfcf51620145a76060256 /doc/logos | |
| parent | 3a9d7afe33cad8bb60e72b8299a75b8275517a6e (diff) | |
version bumping
Diffstat (limited to 'doc/logos')
0 files changed, 0 insertions, 0 deletions