2023-09-11 16:36:55 +02:00
|
|
|
en:
|
|
|
|
|
instructeurs:
|
|
|
|
|
procedures:
|
2023-09-18 16:32:34 +02:00
|
|
|
export_available_html: The export in %{file_format} format is ready. You can <a href="%{file_url}">download</a>
|
|
|
|
|
export_pending_html: We generate this export. You will be able to download it in a few minutes from <a href="%{url}">the exports list</a>.
|
2023-09-11 16:36:55 +02:00
|
|
|
exports:
|
2023-09-18 17:06:18 +02:00
|
|
|
title: Exports list
|
|
|
|
|
export_description: This list of exports contains the exports you requested as well as those requested by instructors belonging to the same group.
|
2023-09-11 16:36:55 +02:00
|
|
|
no_export_html: You have no export at the moment. <br> Can't find an export? It may have expired, exports are deleted after %{expiration_time} hours.
|
