diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-02-21 16:44:36 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-02-21 16:44:36 +0100 |
| commit | f767a9d12cff414f3eefce8d9e06bd1ef4f0e9eb (patch) | |
| tree | b1577f1c8a0e358ec5dc33dd11503fce4536f87d /README | |
| parent | c6d50abecc6d3dffd6f4314cc84c6a19c792b3f1 (diff) | |
fix dist rule
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions