diff --git a/extras/java/org.eclipse.jdt.ui.prefs b/extras/java/org.eclipse.jdt.ui.prefs new file mode 100644 index 00000000..d052711e --- /dev/null +++ b/extras/java/org.eclipse.jdt.ui.prefs @@ -0,0 +1,3 @@ +#Sat Mar 24 13:41:25 CET 2007 +eclipse.preferences.version=1 +org.eclipse.jdt.ui.text.custom_code_templates=