comparison .settings/org.eclipse.core.resources.prefs @ 80:f017c0d7527c

minor changes + docs
author wizard
date Wed, 07 Apr 2010 01:05:02 +0400
parents 76b878ad6596
children 5edc2ac5231c
comparison
equal deleted inserted replaced
79:2d1c3f713280 80:f017c0d7527c