diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-06-27 18:32:05 +0200 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-06-27 18:32:05 +0200 |
| commit | 05797c614c89e30288746fa4939e8dd97a508617 (patch) | |
| tree | ed95ab978a02b7da2fa8e4bc85cb64068085cdd4 /.gitignore | |
| parent | 6c905b7f14f56ec41626dc5171c9cbcdcfae6f1b (diff) | |
Remove useless type annotations.
Not useless per se---just better located in the upcoming interface
file.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions