org.eclipse.jdt.ui.prefs « .settings - vaadin-framework.git - Vaadin 6, 7, 8 is a Java framework for modern Java web applications: https://github.com/vaadin/framework

index : vaadin-framework.git

Vaadin 6, 7, 8 is a Java framework for modern Java web applications: https://github.com/vaadin/framework

www-data

summary refs log tree commit diff stats

path: root/.settings/org.eclipse.jdt.ui.prefs

blob: e10624e7035488b9896e247dc8f987d415bf6532 (plain)

1
2
3

eclipse.preferences.version=1
formatter_profile=_Vaadin Java Conventions 20110923
formatter_settings_version=12