diff options
| author | Erik Oosting | 2023-12-18 19:22:54 +0100 |
|---|---|---|
| committer | Erik Oosting | 2023-12-18 19:22:54 +0100 |
| commit | c250027607e5bbe02cd0aa5bf974c101d9d9c419 (patch) | |
| tree | c148442fc73686696f919984ccf52cee4aeb8663 /.idea/.gitignore | |
| parent | 03eb5c1228ea9f5997fc19f7075a90cca1d29820 (diff) | |
tightened types exports
Diffstat (limited to '.idea/.gitignore')
0 files changed, 0 insertions, 0 deletions