Paul Galbraith a écrit :
Is there any more news on having configuration support the preferences API?
There is nothing new on this front. What would you need ? Using a Preferences as a Configuration, or using a Configuration as a Preferences ? Or both ?
Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]