Skip to content

Commit

Permalink
resolved todo
Browse files Browse the repository at this point in the history
  • Loading branch information
Sebastian Wolff committed Oct 16, 2019
1 parent ef7e6c2 commit 7813f17
Showing 1 changed file with 0 additions and 12 deletions.
12 changes: 0 additions & 12 deletions docs/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -87,18 +87,6 @@ <h1 class="display-4 text-muted text-right mt-3 float-right logos">
</div>
</header>

<!-- TODOs begin -->
<div class="container clearfix">
<div class="alert alert-danger container">
<strong>TODOs</strong>
<p class="mt-2">
Link to VM; test VM old-types benchmark.py
</p>
</div>
<br>
</div>
<!-- TODOs end -->

<div class="container clearfix">
<!-- ********************************************************************************** -->
<!-- ************************************** PAPER ************************************* -->
Expand Down

0 comments on commit 7813f17

Please sign in to comment.