mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
remove duplicate feature in productivity guide
This commit is contained in:
@@ -215,13 +215,6 @@
|
||||
first-show="5"
|
||||
successive-show="7"
|
||||
/>
|
||||
<feature
|
||||
id="editing.completion.completeStatement"
|
||||
tip-file="CompleteMethod.html"
|
||||
min-usage-count="5"
|
||||
first-show="10"
|
||||
successive-show="7"
|
||||
/>
|
||||
</group>
|
||||
|
||||
<group id="editing">
|
||||
|
||||
Reference in New Issue
Block a user