Michael DeHaan bce9bcc0fe Core/extras split WIP.		2014-09-26 09:45:21 -04:00
..
ejabberd_user	Rename core to extras, prior to pruning steps.	2014-09-26 09:30:45 -04:00
jboss	Rename core to extras, prior to pruning steps.	2014-09-26 09:30:45 -04:00
jira	Rename core to extras, prior to pruning steps.	2014-09-26 09:30:45 -04:00