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 /jgvariant-tool/pom.xml | |
| parent | 4303ab30234d290874ded1846e33c48bc651c513 (diff) | |
Switch from JetBrains annotations to JSpecify.
Change-Id: Ia04b52c36f9779ab15e688e0dd7434644b3a3f7f
Diffstat (limited to 'jgvariant-tool/pom.xml')
| -rw-r--r-- | jgvariant-tool/pom.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/jgvariant-tool/pom.xml b/jgvariant-tool/pom.xml index f4026e4..9d764dc 100644 --- a/jgvariant-tool/pom.xml +++ b/jgvariant-tool/pom.xml @@ -59,6 +59,12 @@ SPDX-License-Identifier: GPL-3.0-or-later <optional>true</optional> </dependency> <dependency> + <groupId>org.jspecify</groupId> + <artifactId>jspecify</artifactId> + <scope>provided</scope> + <optional>true</optional> + </dependency> + <dependency> <groupId>org.apiguardian</groupId> <artifactId>apiguardian-api</artifactId> <scope>provided</scope> |