relpipe-data/download.xml
branchv_0
changeset 258 2868d772c27e
parent 256 822ffd23d679
child 263 8bf13358a50a
--- a/relpipe-data/download.xml	Tue Apr 09 22:53:40 2019 +0200
+++ b/relpipe-data/download.xml	Tue May 28 21:18:20 2019 +0200
@@ -33,6 +33,7 @@
 hg clone https://hg.globalcode.info/relpipe/relpipe-out-recfile.cpp;
 hg clone https://hg.globalcode.info/relpipe/relpipe-out-tabular.cpp;
 hg clone https://hg.globalcode.info/relpipe/relpipe-out-xml.cpp;
+hg clone https://hg.globalcode.info/relpipe/relpipe-tr-awk.cpp;
 hg clone https://hg.globalcode.info/relpipe/relpipe-tr-cut.cpp;
 hg clone https://hg.globalcode.info/relpipe/relpipe-tr-grep.cpp;
 hg clone https://hg.globalcode.info/relpipe/relpipe-tr-guile.cpp;
@@ -58,6 +59,7 @@
 			<li>2019-01-18: <m:a href="release-v0.9">v0.9</m:a></li>
 			<li>2019-02-20: <m:a href="release-v0.10">v0.10</m:a></li>
 			<li>2019-04-08: <m:a href="release-v0.11">v0.11</m:a></li>
+			<li>2019-05-28: <m:a href="release-v0.12">v0.12</m:a></li>
 		</ul>
 		
 	</text>