blob: 7bfd665d374d795edac5d2d8c5fe2a6857458505 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
<header>
<div class="wrap">
<a href="http://galoisinc.github.com/FiveUI" id="logo" title="Galois Open Source"><img src="../images/logo.png" alt="Galois" /></a>
<h2>Open Source</h2>
<nav id="primary">
<ul>
<li><a href="http://galois.com">Company website</a></li>
<li><a href="https://github.com/GaloisInc/">Github home</a></li>
</ul>
</nav><!-- /#primary -->
</div><!-- /.wrap -->
</header>
|
