From 299753fa54690f9bcfc377d6d4125a980ce59904 Mon Sep 17 00:00:00 2001 From: Philippe Herlin Date: Fri, 6 Oct 2006 20:58:33 +0000 Subject: [PATCH] Release v3.1.7 git-svn-id: https://pmd.svn.sourceforge.net/svnroot/pmd/trunk@4592 51baf565-9d33-0410-a72c-fc3788e3496d --- pmd-eclipse-feature/feature.xml | 8 ++++---- pmd-eclipse-pmd/plugin.xml | 2 +- pmd-eclipse-runtime/plugin.xml | 2 +- pmd-eclipse-ui/nl/fr/messages.properties | 1 + pmd-eclipse-ui/plugin.xml | 9 +-------- pmd-eclipse/CHANGELOG.txt | 19 ++++++++++++++++++- pmd-eclipse/CREDITS.txt | 1 + pmd-eclipse/RELNOTES.txt | 12 ++++++++++++ pmd-eclipse/plugin.xml | 2 +- 9 files changed, 40 insertions(+), 16 deletions(-) diff --git a/pmd-eclipse-feature/feature.xml b/pmd-eclipse-feature/feature.xml index 3293747ad0..b43018aa59 100644 --- a/pmd-eclipse-feature/feature.xml +++ b/pmd-eclipse-feature/feature.xml @@ -35,24 +35,24 @@ id="net.sourceforge.pmd.eclipse" download-size="0" install-size="0" - version="3.1.6"/> + version="3.1.7"/> + version="1.0.2"/> + version="1.0.3"/> + version="3.8.0"/> diff --git a/pmd-eclipse-pmd/plugin.xml b/pmd-eclipse-pmd/plugin.xml index 00cca242f6..1b6e4f4855 100644 --- a/pmd-eclipse-pmd/plugin.xml +++ b/pmd-eclipse-pmd/plugin.xml @@ -3,7 +3,7 @@ diff --git a/pmd-eclipse-runtime/plugin.xml b/pmd-eclipse-runtime/plugin.xml index 0b613f7e50..1d1604bb1d 100644 --- a/pmd-eclipse-runtime/plugin.xml +++ b/pmd-eclipse-runtime/plugin.xml @@ -3,7 +3,7 @@ diff --git a/pmd-eclipse-ui/nl/fr/messages.properties b/pmd-eclipse-ui/nl/fr/messages.properties index 2f5bc3bd56..f0b92af290 100644 --- a/pmd-eclipse-ui/nl/fr/messages.properties +++ b/pmd-eclipse-ui/nl/fr/messages.properties @@ -11,6 +11,7 @@ property.button.store_ruleset_project = Utiliser l'ensemble de r property.button.include_derived_files = Inclure les fichiers dérivés # General preferences page +preference.pmd.header = Préférences Générales PMD preference.pmd.title = Préférences Générales PMD preference.pmd.label.addcomment = Texte additionnel pour les commentaires de revue : preference.pmd.label.sample = Exemple : diff --git a/pmd-eclipse-ui/plugin.xml b/pmd-eclipse-ui/plugin.xml index 885ddd1850..7219ca2f75 100644 --- a/pmd-eclipse-ui/plugin.xml +++ b/pmd-eclipse-ui/plugin.xml @@ -3,7 +3,7 @@ @@ -275,13 +275,6 @@ name="%view.category" id="net.sourceforge.pmd.ui.views"> -