-
GILLES Sebastien authored
#674 In fact, the rule is harsher than that: double underscores should also be prohibited. So they have been replaced by '_x_'.
5cae49ce
#674 In fact, the rule is harsher than that: double underscores should also be prohibited. So they have been replaced by '_x_'.