Revision 17223ad9d213972703378daffba0c7789f3f84ae

Committed on 22/01/2019 10:02 am by gggeek <giunta.gaetano@gmail.com> [GitHub Diff]

fix docs for 0.15.0