diff -r 48a3c1c8c411 -r d185f856c49f relpipe-data/download.xml --- a/relpipe-data/download.xml Sat Dec 08 20:18:19 2018 +0100 +++ b/relpipe-data/download.xml Sat Dec 08 20:19:03 2018 +0100 @@ -33,7 +33,13 @@

- n.b. it might be a bit difficult to compile them, please stay tuned for v0.8, where the build process will be properly documented + All of them can be later updated using: +

+ + + +

+ 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