June 9, 2011
10:33 a.m.
It comes from Toolset change. OCompletion should be registered as a Completion tool (but I do not remember the magic formula ^^) Ben 2011/6/9 Marcus Denker <marcus.denker@inria.fr>
On Jun 9, 2011, at 12:21 PM, Benjamin Van Ryseghem wrote:
It happened between 13217 and 13234 ...
Maybe the Paragraph changes ?
The Dev vs. Core is killing us. We need *one* image. We should really try to do that with 1.4, it will make everything simpler and easier to manage.
Marcus
-- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.