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