end-of-branch-label_kinds
jerome.galtier@lrde.epita.fr
95caebaa
·
Fix ChangeLog and generalized() post-merge.
·
Aug 02, 2009
end of branch label_kinds