diff options
| author |   zaaarf <zaaarf@proton.me> | 2023-03-02 10:43:58 +0100 |
|---|---|---|
| committer | zaaarf <zaaarf@proton.me> | 2023-03-02 10:45:46 +0100 |
| commit | 8127c30fc791826c3d3f95d9e3ac21ebb3a0a6bf (patch) | |
| tree | 3a492b392af0c4ff98d5987da514dc6a2e40f5cc /build.gradle | |
| parent | eb5ee8e45313c6856b52e5f53b8aa73d7506246b (diff) | |
chore: checkerframework
Diffstat (limited to 'build.gradle')
| -rw-r--r-- | build.gradle | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build.gradle b/build.gradle index 0a783d8..170d5d8 100644 --- a/build.gradle +++ b/build.gradle @@ -3,6 +3,7 @@ plugins { id 'eclipse' alias libs.plugins.forgeGradle; alias libs.plugins.gitVersion; + alias libs.plugins.checkerFramework } version = gitVersion() |