Juan RP 9dfcab1416 Rename config_shell to configure_shell. ... --HG-- extra : convert_revision : 416900b81eca96e802f94b7a075842112d116eba		2009-04-28 00:13:21 +02:00
..
template	Rename config_shell to configure_shell.	2009-04-28 00:13:21 +02:00