diff options
| author | Fabian Henneke <FabianHenneke@users.noreply.github.com> | 2020-07-23 15:59:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-23 19:29:12 +0530 |
| commit | da167599d2d7f387daf62bbc51720577de30e7ad (patch) | |
| tree | 1e196b2c060ee38626fee6f5bb1969d332307094 /app/lint.xml | |
| parent | fbd84fde3a25d23cbf51fe0cd609ce9bd13836cc (diff) | |
Fix OpenPgpApi extra type confusion (#960)
Diffstat (limited to 'app/lint.xml')
0 files changed, 0 insertions, 0 deletions