.settings/org.eclipse.php.core.prefs
author grandjoncl
Mon, 10 Dec 2012 11:03:34 +0100
changeset 1021 56ecf04fe605
parent 187 a59dd2aed213
permissions -rw-r--r--
modification of embed too be more userfriendly modifications too solve trac #42 : group page, the pencil image didn't move when we resized the window trac #20 : when we open a created content the page's name is "modify this content" and not "create a content" trac #28 : the number of segments is written in the front research

#Sat Sep 24 15:42:33 CEST 2011
eclipse.preferences.version=1
include_path=