Rev 2379 |
Go to most recent revision |
Blame |
Compare with Previous |
Last modification |
View Log
| RSS feed
$title (<tt>$mod</tt>)
<p>
!if $diff=$empty
Aucune différence n'est trouvée entre la version de développement et la
version publique du serveur.
!else
!if $diff=MANY
Trop de différences existe entre la version de développement et la version
publique du serveur.
!else
Differences entre la version de développement et la version
publique du serveur :
<pre>$diff</pre>
!endif
!endif
<p><hr> <p>