Viktor Klang 572382b220 Removing playMini as to avoid the cyclic dependency, please look at the play-mini docs for examples		2012-02-27 14:02:27 +01:00
..
actor/mailbox	Fixes ticket #1809 - Harmonize configuration option names.	2012-02-09 20:40:09 +01:00