$def with (tasks, checked_tasks, download_or_replay) $# $# This file is part of INGInious. See the LICENSE and the COPYRIGHTS files for $# more information about the licensing of this file. $#
$if download_or_replay == "download": $:_("Tasks to download submissions from") $else: $:_("Tasks to replay submissions from")