diff options
| author | Christian Doczkal | 2020-08-11 14:35:41 +0200 |
|---|---|---|
| committer | Christian Doczkal | 2020-08-11 14:35:41 +0200 |
| commit | 1bbfe3429a07bee2478fd15adf45b982fdfb5d2b (patch) | |
| tree | 4f8e7d2abe16d816ce41f86432d13e1a80e16632 /.github | |
| parent | c6051cd2cbd811c59143015884ca643ac753f738 (diff) | |
fix notation-incompatible-format warnings
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions