Automatic docs update (dev)

RiverBench · Oct 9, 2023 · 3e1aaff · 3e1aaff
1 parent b8b129f
commit 3e1aaff
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/index.md b/docs/index.md
@@ -23,6 +23,7 @@ RiverBench is an open, community-driven RDF streaming benchmark suite. It includ
 !!! info
 
     Download this metadata in RDF: **[Turtle](https://w3id.org/riverbench/v/dev.ttl)**, **[N-Triples](https://w3id.org/riverbench/v/dev.nt)**, **[RDF/XML](https://w3id.org/riverbench/v/dev.rdf)**, **[Jelly](https://w3id.org/riverbench/v/dev.jelly)**
+
     A complete dump of all metadata in RiverBench is also available: **[Turtle](https://w3id.org/riverbench/dumps/dev.ttl.gz)**, **[N-Triples](https://w3id.org/riverbench/dumps/dev.nt.gz)**, **[RDF/XML](https://w3id.org/riverbench/dumps/dev.rdf.gz)**, **[Jelly](https://w3id.org/riverbench/dumps/dev.jelly.gz)**