diff options
| author | Christoph Groth <christoph.groth@cea.fr> | 2025-03-07 20:17:51 +0100 |
|---|---|---|
| committer | Christoph Groth <christoph.groth@cea.fr> | 2025-03-07 20:17:51 +0100 |
| commit | 9fa857217a628bdae8377eda63ea9d5942bbe3df (patch) | |
| tree | afa82f626dc0713d7aa38810dee38b7747bc5e88 /.gitignore | |
| parent | 222333ff80dd678b32f1a6d491498ccb69fa68e2 (diff) | |
Stop printing type names (can be queried using LSP)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions