Richard Peter f37f948456 Revert "Issue #1262:" ... This reverts commit 0970259114 [formerly 3205e61aaeba7ec7bccb0a4bd2ed8a6e83a77951] Former-commit-id: a4e51a9f814ff0e004be46460b6d27a848cb2fe9		2012-12-16 20:37:21 -06:00
..
org.eclipse.cdt.core.prefs	Revert "Issue #1262:"	2012-12-16 20:37:21 -06:00