mirror of
https://github.com/fluencelabs/wasmer
synced 2025-03-23 19:40:51 +00:00
54 lines
2.1 KiB
HTML
54 lines
2.1 KiB
HTML
<!DOCTYPE html>
|
|
|
|
<html lang="en">
|
|
<head>
|
|
<!--BEGIN PROJECT_NAME--><title>$projectname: $title</title><!--END PROJECT_NAME-->
|
|
<!--BEGIN !PROJECT_NAME--><title>$title</title><!--END !PROJECT_NAME-->
|
|
<meta http-equiv="content-type" content="text/html; charset=utf-8" />
|
|
<meta http-equiv="content-type" content="text/javascript; charset=utf-8" />
|
|
<meta http-equiv="content-type" content="text/css; charset=utf-8" />
|
|
<meta name="viewport" content="initial-scale=1.0" />
|
|
<meta name="generator" content="Doxygen $doxygenversion"/>
|
|
<link href="$relpath^tabs.css" rel="stylesheet" type="text/css"/>
|
|
<script type="text/javascript" src="$relpath^jquery.js"></script>
|
|
<script type="text/javascript" src="$relpath^dynsections.js"></script>
|
|
$treeview
|
|
$search
|
|
$mathjax
|
|
<link href="$relpath^$stylesheet" rel="stylesheet" type="text/css" />
|
|
$extrastylesheet
|
|
</head>
|
|
<body>
|
|
<div id="top" role="header">
|
|
<!--BEGIN TITLEAREA-->
|
|
|
|
<!--BEGIN PROJECT_LOGO-->
|
|
<img alt="Wasmer's logo" src="$relpath^$projectlogo" />
|
|
<!--END PROJECT_LOGO-->
|
|
|
|
<!--BEGIN PROJECT_NAME-->
|
|
<div>
|
|
<h1>
|
|
$projectname
|
|
<!--BEGIN PROJECT_NUMBER--> — <span id="projectnumber">$projectnumber</span><!--END PROJECT_NUMBER-->
|
|
<!--BEGIN PROJECT_BRIEF-->
|
|
<span id="projectbrief">$projectbrief</span>
|
|
<!--END PROJECT_BRIEF-->
|
|
</h1>
|
|
<br />
|
|
<small>
|
|
<a href="https://github.com/wasmerio/wasmer"><img src="https://img.shields.io/github/stars/wasmerio/wasmer?style=social" alt="Visit the repository" /></a>
|
|
<a href="https://github.com/wasmerio/wasmer"><img src="https://img.shields.io/github/license/wasmerio/wasmer" alt="License" /></a>
|
|
<a href="https://spectrum.chat/wasmer"><img src="https://withspectrum.github.io/badge/badge.svg" alt="Join the Wasmer Community"></a>
|
|
</small>
|
|
</div>
|
|
<!--END PROJECT_NAME-->
|
|
|
|
<!--BEGIN DISABLE_INDEX-->
|
|
<!--BEGIN SEARCHENGINE-->
|
|
<div id="searchbox">$searchbox</div>
|
|
<!--END SEARCHENGINE-->
|
|
<!--END DISABLE_INDEX-->
|
|
|
|
<!--END TITLEAREA-->
|