diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2022-12-02 13:28:26 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-12-02 13:28:26 +0100 |
commit | cf73354f985be17352a4d538c6f9ea69f6be9aa9 (patch) | |
tree | 07ffd805a65c2c9992e4d6b48231849ed8a387c0 /docs/articles/twa_files/header-attrs-2.7 | |
parent | 240568bf65f2257f1185927ac811dde18aeabe1d (diff) |
Avoid redundant warnings in summaries
Diffstat (limited to 'docs/articles/twa_files/header-attrs-2.7')
0 files changed, 0 insertions, 0 deletions