raw version of Constrained User Guide
(duplicate line deleted)
Merge branch 'master' of https://github.com/scala-graph/scala-graph-site
don't push generated files