tree 313928ffa66bbbddf391b0afd2c5829c1a391bf1
parent 3fceb04ace9d412bca86cef9d44e91b6118f660a
author nicolaferraro <ni.ferraro@gmail.com> 1597847991 +0200
committer Nicola Ferraro <ni.ferraro@gmail.com> 1600333748 +0200

Fix #1574: fix examples