Yannick Warnier 0f817c8234 Add users migration to Claroline migration script vor 9 Jahren
..
config.dist.php 1b699fd48e Update source config default file vor 9 Jahren
migrate.class.php 0f817c8234 Add users migration to Claroline migration script vor 9 Jahren
migrate.php 0f817c8234 Add users migration to Claroline migration script vor 9 Jahren