2018-05-21 20:55:48 +00:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html>
|
|
|
|
|
<head>
|
2018-05-24 20:35:50 +00:00
|
|
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
2018-05-21 20:55:48 +00:00
|
|
|
<title>Gir testbench</title>
|
|
|
|
|
<script type="text/javascript" src="gir.js"></script>
|
2018-05-27 10:45:20 +00:00
|
|
|
<script type="text/javascript" src="example.js"></script>
|
2018-05-21 20:55:48 +00:00
|
|
|
</head>
|
|
|
|
|
<html>
|
|
|
|
|
<p>Open the JavaScript console</p>
|
|
|
|
|
<!-- TODO: Implement some kind of html interface -->
|
|
|
|
|
</html>
|
|
|
|
|
</html>
|
