X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fon-line%2Fxslt%2FdemultiplexMutual.xsl;h=af4aafa889b1fefab0d37462ab99733532b0a5af;hb=b651b92d8ca72e5e0d7c6630b82b42cc2d16718c;hp=0b1ed2b993bb0368c51a4c25861cdb4ed4b473a6;hpb=a19e0e8f361cb3a72a5b901466de056a71b316a2;p=helm.git diff --git a/helm/on-line/xslt/demultiplexMutual.xsl b/helm/on-line/xslt/demultiplexMutual.xsl index 0b1ed2b99..af4aafa88 100644 --- a/helm/on-line/xslt/demultiplexMutual.xsl +++ b/helm/on-line/xslt/demultiplexMutual.xsl @@ -13,8 +13,7 @@ - - +