Searched full:plugins (Results 1 – 2 of 2) sorted by relevance
6 :plugins:
1477 # to be copied into the plugins directory of eclipse. The name of the directory1478 # within the plugins directory should be the same as the ECLIPSE_DOC_ID value.
