#Tue Jul 17 15:41:58 CEST 2007
eclipse.preferences.version=1
formatter_profile=_tex
formatter_settings_version=11
org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?><templates/>