hi Javier Its look good to me, please fill a pull request at Dave's repository.
Thanks Walter On Tue, Oct 8, 2019 at 2:41 PM Javier Candeira <[email protected]> wrote: > On 8/10/19 14:17, Hong Yang wrote: > > > > I think we need add this line to scons to make sure helpmap.scm > > presents, or > > > just have a default one in the repo. I'll check it later. > > > It's done as an added commit in my current MR updating ubuntu18.04 install > instructions. Please let me know if you want a separate MR, or anything > handled differently. > > Cheers, > J >
