Commit 8383ae37 authored by Jerome Chauveau's avatar Jerome Chauveau
Browse files

rollback sur 'déclaration des plugins inutile si actifs et sans paramètre ' ->...

rollback sur 'déclaration des plugins inutile si actifs et sans paramètre ' -> on garde la déclaration, qui s'avère finalement nécessaire !
parent b4722fea
Loading
Loading
Loading
Loading
+5 −0
Original line number Diff line number Diff line
@@ -16,6 +16,11 @@
   -->

   <plugins>

     <plugin name="correction"/>
     <plugin name="equations"/>
     <plugin name="apparat_critique"/>

     <plugin name="search">
        <parameters>
           <parameter key="tag" value="p"/>