comparison .settings/org.eclipse.core.resources.prefs @ 34:0b58b298ef44

small change
author casties
date Wed, 12 Jun 2013 16:06:57 +0200
parents b2e4605f20b2
children
comparison
equal deleted inserted replaced
33:65132c9c5c09 34:0b58b298ef44