Revision 449205c48661f5890534733cb74818612c4613e4 authored by Sébastien Loriot on 13 January 2017, 12:18:55 UTC, committed by Sébastien Loriot on 13 January 2017, 12:18:55 UTC
this fix a warning with old version of boost < 1.51 Use another workaround to avoid the compilation error of the area(face_range,tm) overload
1 parent e3f9ffa
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...