relpipe-data/download.xml
branchv_0
changeset 219 a94eb371f77e
parent 211 e5afc8d83268
child 226 fc68cd31db78
--- a/relpipe-data/download.xml	Wed Dec 19 23:30:48 2018 +0100
+++ b/relpipe-data/download.xml	Thu Dec 20 01:42:36 2018 +0100
@@ -41,9 +41,11 @@
 		
 		<m:pre jazyk="bash"><![CDATA[ls -1d relpipe-* | while read r; do hg pull --update --repository "$r"; done]]></m:pre>
 		
-		<p>
-			n.b. currently it might be a bit difficult to compile them, please stay tuned for v0.8, where the build process will be properly documented
-		</p>
+		<h2>Released versions</h2>
+			
+		<ul>
+			<li>2018-12-20: <m:a href="release-v0.8">v0.8</m:a></li>
+		</ul>
 		
 	</text>