coin3133
New features in coin v3.1.3 this is a bugfix release. due to an underlying buildsystem upgrade, the default location of the generated html docs changed from $datarootdir/share/coin/html to $datarootdir/share/doc/coin/html.
New features in coin v3.1.3 this is a bugfix release. due to an underlying buildsystem upgrade, the default location of the generated html docs changed from $datarootdir/share/coin/html to $datarootdir/share/doc/coin/html.