Update documentation of SuppressWarnings tokens#3790

merks merged 1 commit into

eclipse-platform:mastereclipse-platform/eclipse.platform.releng.aggregator:masterfrom

stephan-herrmann:jdt-doc-warning-tokens-refreshstephan-herrmann/eclipse.platform.releng.aggregator:jdt-doc-warning-tokens-refreshCopy head branch name to clipboard