-correction d'un bug dans pretty_mask qui ne corrigeait pas bien '!b@...' en '*!b@...' (rapporté par BuGs)
Authored by: romexzf 2005-04-17
Parent: [r904]
Child: [r906]