Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoracuccuru2011-07-07 10:09:44 +0000
committeracuccuru2011-07-07 10:09:44 +0000
commitd3f33ee90c18512031fe8d8c5adc7ddbe3ab92ed (patch)
treedcfcd7362fadc2bff112643d80742c92f312262f /extraplugins/alf/org.eclipse.papyrus.operation.editor.xtext.ui/.settings
parente13902371af40c4e4934a82a7b7b8005145ef658 (diff)
downloadorg.eclipse.papyrus-d3f33ee90c18512031fe8d8c5adc7ddbe3ab92ed.tar.gz
org.eclipse.papyrus-d3f33ee90c18512031fe8d8c5adc7ddbe3ab92ed.tar.xz
org.eclipse.papyrus-d3f33ee90c18512031fe8d8c5adc7ddbe3ab92ed.zip
Merged bug corrections applied on the branch
Diffstat (limited to 'extraplugins/alf/org.eclipse.papyrus.operation.editor.xtext.ui/.settings')
-rw-r--r--extraplugins/alf/org.eclipse.papyrus.operation.editor.xtext.ui/.settings/net.sf.jautodoc.prefs2
1 files changed, 1 insertions, 1 deletions
diff --git a/extraplugins/alf/org.eclipse.papyrus.operation.editor.xtext.ui/.settings/net.sf.jautodoc.prefs b/extraplugins/alf/org.eclipse.papyrus.operation.editor.xtext.ui/.settings/net.sf.jautodoc.prefs
index 06c5cbf6c7b..86c405767e1 100644
--- a/extraplugins/alf/org.eclipse.papyrus.operation.editor.xtext.ui/.settings/net.sf.jautodoc.prefs
+++ b/extraplugins/alf/org.eclipse.papyrus.operation.editor.xtext.ui/.settings/net.sf.jautodoc.prefs
@@ -1,4 +1,4 @@
-#Tue Apr 26 16:04:19 CEST 2011
+#Thu Jul 07 10:59:07 CEST 2011
add_header=true
eclipse.preferences.version=1
header_text=/*****************************************************************************\r\n * Copyright (c) 2011 CEA LIST.\r\n *\r\n * \r\n * All rights reserved. This program and the accompanying materials\r\n * are made available under the terms of the Eclipse Public License v1.0\r\n * which accompanies this distribution, and is available at\r\n * http\://www.eclipse.org/legal/epl-v10.html\r\n *\r\n * Contributors\:\r\n * CEA LIST - Initial API and implementation\r\n *\r\n *****************************************************************************/

Back to the top