Clément Oudot e57cafaf15 Manager: IDP options are now fully described		2010-03-04 16:51:28 +00:00
..
Manager	Manager: IDP options are now fully described	2010-03-04 16:51:28 +00:00
Manager.pm	New target 'tidy' in Makefile	2010-03-01 20:32:28 +00:00