-
Allan Blanchard authoredAllan Blanchard authored
headers-standalone.html 226 B
<header class="siteHeader" id="site_header">
<div id="header_iv_point" class="inviewTop"></div>
<span class="brandLogo"><a rel="home" title="Frama-C">
<img src="/assets/img/frama-c.png" alt="Frama-C logo"></a>
</header>