view .settings/org.eclipse.core.resources.prefs @ 1:0a4fdcd1ed46 default tip

minor change
author e095732
date Tue, 29 Jan 2013 15:27:43 +0900
parents 4dbea8e22628
children
line wrap: on
line source

eclipse.preferences.version=1
encoding//src/example2/MyStack.java=UTF-8