2023-09-11 16:36:55 +02:00
en :
instructeurs :
procedures :
2023-12-13 17:04:52 +01:00
export_available_html : The export in %{file_format} format is ready. You can <a href="%{file_url}">download it</a>
export_pending_html : We generate this export. You can see all your exports visiting <a href="%{url}">the exports list</a>.
last_export_available_html : Your last export in %{file_format} format is ready. You can <a href="%{file_url}">download it</a>
2023-12-18 14:09:47 +01:00
last_export_failed : Your last export in %{file_format} failed.
2023-12-13 17:04:52 +01:00
last_export_pending : Your last export is in process.
2023-09-11 16:36:55 +02:00
exports :
2023-09-18 17:06:18 +02:00
title : Exports list
2023-09-21 13:59:14 +02:00
export_description : |
This list of exports contains the last exports you requested as well as those requested by instructors belonging to the same group.
They are available for %{expiration_time} hours after generation.
2023-10-31 17:28:16 +01:00
title_zip : A problem with the zip format ?
export_description_zip_html : |
Are you facing an issue when you try to extract the export.zip ? Try it with <a href="https://www.7-zip.org/" target="_blank" rel="noopener noreferrer">7zip</a>.<br />
Are you facing an issue when you try to extract the export.zip on your company network ? Try to rename it with a shorter name first, then extract it.
2023-09-21 13:59:14 +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.