[ADD] benchmarks: add 0.13.0 to the list

This commit is contained in:
Géry Debongnie
2019-06-05 11:24:27 +02:00
parent 7d3c374b78
commit 1464a3631b
5 changed files with 3318 additions and 0 deletions
+1
View File
@@ -33,6 +33,7 @@
<li><a href="benchmarks/owl-0.10.0">OWL 0.10.0</a></li>
<li><a href="benchmarks/owl-0.11.0">OWL 0.11.0</a></li>
<li><a href="benchmarks/owl-0.12.0">OWL 0.12.0</a></li>
<li><a href="benchmarks/owl-0.13.0">OWL 0.13.0</a></li>
<li><a href="benchmarks/owl-master">OWL Master</a></li>
</ul>
<ul>