diff .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
line wrap: on
line diff