Commit af550040 authored by fred's avatar fred

change menu header to be "domaine public", not "alternc + version"

parent 385fa58e
......@@ -34,8 +34,7 @@ include("head.php");
<base target="right" />
</head>
<body id="menu">
<div id="alternc-logo"><a href="http://alternc.org"><!-- img src="alternc.png" width="120" height="82" border="0" alt="AlternC" / -->AlternC</a>
<span><?php echo "$L_VERSION"; ?></span>
<div id="alternc-logo"><a href="http://www.domainepublic.net">Domaine Public</a>
</div>
<h3>Menu <?php echo $mem->user["login"]; ?></h3>
<dl id="menu-list">
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment