mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
correct name for intention category
This commit is contained in:
+1
@@ -5,6 +5,7 @@ intention.category.closures=Closures
|
||||
intention.category.comments=Comments
|
||||
intention.category.groovy.style=Groovy-style
|
||||
intention.category.control.flow=Control Flow
|
||||
intention.category.groovy.declaration=Declaration
|
||||
demorgans.law.intention.family.name=DeMorgan's Law
|
||||
demorgans.intention.name1=Replace ''\\&\\&'' with ''||''
|
||||
demorgans.intention.name2=Replace ''||'' with ''\\&\\&''
|
||||
|
||||
Reference in New Issue
Block a user