Felipe Herranz 481d8fd9a1 Added support for a new device		2015-01-15 23:23:28 +01:00
..
org.eclipse.jdt.core.prefs	Added support for a new device	2015-01-15 23:23:28 +01:00