diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2024-07-20 10:52:54 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2024-07-20 10:52:54 +0200 |
| commit | 15456c86a45c7871d8a217e985d099c02149aa7a (patch) | |
| tree | 74e9b59bccba073deafa02b5d4cd16e1f6405d93 /src | |
| parent | 4303ab30234d290874ded1846e33c48bc651c513 (diff) | |
Switch from JetBrains annotations to JSpecify.
Change-Id: Ia04b52c36f9779ab15e688e0dd7434644b3a3f7f
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions