mirror of
https://github.com/vaadin/framework.git
synced 2024-07-28 20:18:17 +02:00
bd311030b6
Change-Id: Idaa41933c5fb6236a06b13323c2d39f7869af1ac
11 lines
430 B
INI
11 lines
430 B
INI
DELEGATES_PREFERENCE=delegateValidatorList
|
|
USER_BUILD_PREFERENCE=enabledBuildValidatorList
|
|
USER_MANUAL_PREFERENCE=enabledManualValidatorList
|
|
USER_PREFERENCE=overrideGlobalPreferencestruedisableAllValidationtrueversion1.2.500.v201303130500
|
|
eclipse.preferences.version=1
|
|
override=true
|
|
suspend=true
|
|
vals/org.eclipse.wst.html.core.HTMLValidator/global=TF01
|
|
vals/org.eclipse.wst.jsdt.web.core.JsBatchValidator/global=TF02
|
|
vf.version=3
|