equal
deleted
inserted
replaced
39 All of them can be later updated using: |
39 All of them can be later updated using: |
40 </p> |
40 </p> |
41 |
41 |
42 <m:pre jazyk="bash"><![CDATA[ls -1d relpipe-* | while read r; do hg pull --update --repository "$r"; done]]></m:pre> |
42 <m:pre jazyk="bash"><![CDATA[ls -1d relpipe-* | while read r; do hg pull --update --repository "$r"; done]]></m:pre> |
43 |
43 |
44 <p> |
44 <h2>Released versions</h2> |
45 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 |
45 |
46 </p> |
46 <ul> |
|
47 <li>2018-12-20: <m:a href="release-v0.8">v0.8</m:a></li> |
|
48 </ul> |
47 |
49 |
48 </text> |
50 </text> |
49 |
51 |
50 </stránka> |
52 </stránka> |