.settings/org.eclipse.core.runtime.prefs
author cavaliet
Mon, 07 Jul 2014 17:19:01 +0200
changeset 121 ada5f3d8b5b4
parent 13 ed54c98a7fc8
permissions -rw-r--r--
adapt code for php's great memory management

#Wed Oct 19 12:37:15 CEST 2011
eclipse.preferences.version=1
line.separator=\n