.settings/org.eclipse.core.runtime.prefs
author grandjoncl
Mon, 10 Dec 2012 11:03:34 +0100
changeset 1021 56ecf04fe605
parent 146 e2d3fa7aad7c
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

#Thu Aug 04 12:59:27 CEST 2011
eclipse.preferences.version=1
line.separator=\n