David Ostrovsky a791cc4fdc Eclipse: Bump java source and target level to 7 ... Change-Id: I53aea923c09d80aeff16726bab736ab74976fcdf		2013-11-29 00:15:50 +01:00
..
org.eclipse.core.resources.prefs	Build with Buck	2013-05-09 13:40:36 +00:00
org.eclipse.core.runtime.prefs	Build with Buck	2013-05-09 13:40:36 +00:00
org.eclipse.jdt.core.prefs	Eclipse: Bump java source and target level to 7	2013-11-29 00:15:50 +01:00
org.eclipse.jdt.ui.prefs	Build with Buck	2013-05-09 13:40:36 +00:00