tree dc4b76bcf3d7bf05c02a88bb22dbd4e5cc0c2e49
parent 7ad07fc6f2e1dd74554ba576367883c4236c6b98
author Gael Guennebaud <g.gael@free.fr> 1505895743 +0200
committer Gael Guennebaud <g.gael@free.fr> 1505895743 +0200

Add link to a useful example.