On Friday, 17 February 2017 at 18:43:29 UTC, berni wrote:
Many thanks! That worked. And also thanks for the link. I didn't know if this docs yet. :-)
Yes, that is my documentation fork, it has a search feature if you do dpldocs.info/some_term and it tries to be easier to read and navigate, let me know how you like it!
