version 1.41, 2017/03/15 19:15:26 |
version 1.42, 2017/03/17 16:33:19 |
|
|
</head> |
</head> |
<body class="website"><div class="webpage"> |
<body class="website"><div class="webpage"> |
<a name="docs-puffs-index"></a><div id="top"><a href="#mainContent" class="doNotDisplay doNotPrint">Skip to main content.</a></div> |
<a name="docs-puffs-index"></a><div id="top"><a href="#mainContent" class="doNotDisplay doNotPrint">Skip to main content.</a></div> |
<div id="centralHeader"> |
<div id="centralHeader"><div id="logo"> |
<div id="logo"> |
|
<a href="../../"><img alt="[NetBSD Logo]" src="../../images/NetBSD-smaller.png"></a><div id="name"><a href="../../"> |
<a href="../../"><img alt="[NetBSD Logo]" src="../../images/NetBSD-smaller.png"></a><div id="name"><a href="../../"> |
The NetBSD Project |
The NetBSD Project |
</a></div> |
</a></div> |
<div id="slogan"><a href="../../"> |
<div id="slogan"><a href="../../"> |
“Of course it runs NetBSD” |
“Of course it runs NetBSD” |
</a></div> |
</a></div> |
</div> |
</div></div> |
<div id="headerTools"> |
|
<div id="header-cse-search-form">Google custom search</div> |
|
<script src="http://www.google.com/jsapi" type="text/javascript"></script><script type="text/javascript"> |
|
google.load('search', '1', {language : 'en'}); |
|
google.setOnLoadCallback(function() { |
|
var header_customSearchControl = new google.search.CustomSearchControl('006277936787196004968:mbdhrauy1wm'); |
|
header_customSearchControl.setResultSetSize(google.search.Search.FILTERED_CSE_RESULTSET); |
|
var header_options = new google.search.DrawOptions(); |
|
header_options.enableSearchboxOnly("http://google.com/cse?cx=006277936787196004968:mbdhrauy1wm"); |
|
header_customSearchControl.draw('header-cse-search-form', header_options); |
|
}, true); |
|
</script> |
|
</div> |
|
</div> |
|
<div id="navBar" role="navigation"> |
<div id="navBar" role="navigation"> |
<span class="doNotDisplay"> |
<span class="doNotDisplay"> |
Navigation: |
Navigation: |