diff options
| author | Christian W. Damus | 2015-03-20 13:52:59 +0000 |
|---|---|---|
| committer | Christian W. Damus | 2015-03-20 13:52:59 +0000 |
| commit | 122dcaaee00177c1e23c42a3164d03261a77336a (patch) | |
| tree | d46f9fb9692de4d6a95acb2806c06a5bb0d2fed8 /plugins/doc/org.eclipse.papyrus.layers.documentation | |
| parent | f911b5225349ec0c7ae12fdd94e6d66e8ac716be (diff) | |
| download | org.eclipse.papyrus-122dcaaee00177c1e23c42a3164d03261a77336a.tar.gz org.eclipse.papyrus-122dcaaee00177c1e23c42a3164d03261a77336a.tar.xz org.eclipse.papyrus-122dcaaee00177c1e23c42a3164d03261a77336a.zip | |
Bug 460946: [Releng] Integrate mediawiki/markdown doc generation in the build
https://bugs.eclipse.org/bugs/show_bug.cgi?id=460946
Update .settings preference files to remove encoding settings for files that were
removed from git.
Diffstat (limited to 'plugins/doc/org.eclipse.papyrus.layers.documentation')
| -rw-r--r-- | plugins/doc/org.eclipse.papyrus.layers.documentation/.settings/org.eclipse.core.resources.prefs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/plugins/doc/org.eclipse.papyrus.layers.documentation/.settings/org.eclipse.core.resources.prefs b/plugins/doc/org.eclipse.papyrus.layers.documentation/.settings/org.eclipse.core.resources.prefs deleted file mode 100644 index 47ba1efd3d1..00000000000 --- a/plugins/doc/org.eclipse.papyrus.layers.documentation/.settings/org.eclipse.core.resources.prefs +++ /dev/null @@ -1,7 +0,0 @@ -eclipse.preferences.version=1
-encoding//guides/developpers/layersDevs-toc.xml=utf-8
-encoding//guides/developpers/layersDevs.html=utf-8
-encoding//guides/tutorials/derivedLayerTutorial-toc.xml=utf-8
-encoding//guides/tutorials/derivedLayerTutorial.html=utf-8
-encoding//guides/tutorials/simpleTutorial-toc.xml=utf-8
-encoding//guides/tutorials/simpleTutorial.html=utf-8
|