1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
cdt/codan/org.eclipse.cdt.codan.core/.settings
2011-10-17 18:04:17 -07:00
..
.api_filters location should support placing markers on any resource not only file 2010-07-22 02:28:12 +00:00
org.eclipse.jdt.core.prefs Switched to Java 1.6. 2011-10-17 18:04:17 -07:00
org.eclipse.jdt.ui.prefs Disabled auto formatting on save. Alena, please don't re-enable it. 2011-03-23 02:48:23 +00:00
org.eclipse.pde.api.tools.prefs enabled API checks 2010-06-17 00:56:57 +00:00