org.eclipse.jdt.ui.prefs « .settings - pki.git - Unnamed repository; edit this file 'description' to name the repository.

index : pki.git

Unnamed repository; edit this file 'description' to name the repository.

Endi Dewata

summary refs log tree commit diff stats

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

blob: 026b7c9c713560042f58dae7e07f94a3d2ecfccb (plain)

#Thu Dec 01 14:03:10 EST 2011
eclipse.preferences.version=1
formatter_profile=_PKI Project Profile
formatter_settings_version=11