diff options
author | Christian Grothoff <christian@grothoff.org> | 2021-01-25 21:09:44 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2021-01-25 21:09:44 +0100 |
commit | 4ec89f270b39a5d4208e5b3b56e80d4ae4879b24 (patch) | |
tree | e93a951e44dda041e467a03d23b47abfac54b10e /src | |
parent | 69d29a79313316ee3a8342c8911effe2f7eb6d2a (diff) |
fix rule
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions