mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-30 20:35:38 +02:00
Code Issues Wiki Activity
cdt/terminal/org.eclipse.tm.terminal.ssh/.settings/org.eclipse.jdt.ui.prefs
Michael Scharf ab27dfc05b fixed warnings and set 1.4 execution environment
2006-12-07 02:43:54 +00:00

3 lines
93 B
INI
Raw Blame History

#Thu Dec 07 03:43:08 CET 2006
eclipse.preferences.version=1
internal.default.compliance=user
Reference in a new issue View git blame Copy permalink