Revision b5b58be8a22122ce1b1cecc69eef229b41b51a69

Committed on 02/12/2013 2:25 am by Benjamin Choquet <[email protected]> [GitHub Diff]

allow alternative legacy extension name in package configuration