Hi, On 06/02/2014 12:52 AM, Daniel Krügler wrote:
My formulation was intentionally tentative, because I never searched for that coding rule. Maybe Paolo could help to clarify.As far as I remember, we never explicitly discussed that coding rule, it's largely an historical accident. Thus I would not object to not using it (as long as we are consistent...)
Paolo.