From a97de92e3e40402ebe88313bdae70b2c9a68770e Mon Sep 17 00:00:00 2001 From: Marc Baloup Date: Tue, 16 Feb 2016 22:28:26 +0100 Subject: [PATCH] Changements des identifiants des plugins et des fichiers d'exportation JAR --- make_jar.jardesc | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/make_jar.jardesc b/make_jar.jardesc index eb108cd..b180eb7 100644 --- a/make_jar.jardesc +++ b/make_jar.jardesc @@ -1,17 +1,17 @@ - - + + - + - - + +