commit - c3187935556fb07cdb7ef0ed8d60462853ebffa2
commit + 5f842f6e24efcce5f651f6bed0399b4cbeee53be
blob - 24d2a2d74aa817db092f91b11c0d5697a7f8747a
blob + e75b59c306a218dbb8327d81118dc660041c5812
--- autres/source-haut.php
+++ autres/source-haut.php
{
$titre='Code de la page : «'.$titre.'»';
if($_SERVER['SCRIPT_NAME']!=='/autres/source-haut.php')
- $head='<!--Pour ne pas indexer les sources-->'."\n\t".
- '<meta http-equiv="robots" content="noindex" />'."\n\t";
+ /*$head='<!--Pour ne pas indexer les sources-->'."\n\t".
+ '<meta http-equiv="robots" content="noindex" />'."\n\t";*/
$head.='<!--La feuille de style pour le code html-->'."\n\t".
'<link rel="stylesheet" type="text/css" href="/autres/css/code.css" />';
}