gerrit/.settings
David Ostrovsky 3931c16bdb Build with Java 8
Change-Id: I06f811fc46a606b719582c0724e8d0c89e823b37
2016-09-20 10:19:52 +02:00
..
edu.umd.cs.findbugs.core.prefs Update FindBugs configuration 2015-03-20 14:29:25 +00: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 Build with Java 8 2016-09-20 10:19:52 +02:00
org.eclipse.jdt.ui.prefs Update Eclipse code formatter settings 2015-08-31 07:03:36 +00:00