MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-04 23:39:07 +07:00
Code Issues Packages Projects Releases Wiki Activity

cleanup - get rid of trove

Browse Source 
GitOrigin-RevId: f18ddbea1e64dc03e0f16632dfb95481adc80eb4
This commit is contained in:
Vladimir Krivosheev
2021-12-15 09:45:20 +01:00
committed by intellij-monorepo-bot
parent fa3a721abd
commit 6834fe8257
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
lib/annotations/trove4j/gnu/trove/annotations.xml
View File

@@ -68,6 +68,9 @@
<item name='gnu.trove.TIntFunction'>
<annotation name='java.lang.FunctionalInterface'/>
</item>
<item name='gnu.trove.TIntHashSet'>
<annotation name='java.lang.Deprecated'/>
</item>
<item name='gnu.trove.TIntHashingStrategy'>
<annotation name='java.lang.FunctionalInterface'/>
</item>