This repository has been archived on 2024-03-28. You can view files and clone it, but cannot push or open issues or pull requests.

Pierre-Olivier Mercier 0ab96472e4 Return an error when no repository data		2022-09-16 16:44:37 +02:00
..
correctionTemplates.js	Move new ui to ui directory	2022-07-08 10:25:23 +02:00
key.js	PGP import feature	2022-09-04 11:27:43 +02:00
questions.js	Smarter survey and question deletion/duplucation	2022-09-16 11:15:20 +02:00
repositories.js	Return an error when no repository data	2022-09-16 16:44:37 +02:00
response.js	Add button to report bad correction	2022-07-08 10:25:24 +02:00
surveys.js	Smarter survey and question deletion/duplucation	2022-09-16 11:15:20 +02:00
users.js	Add a new page to list repos and submissions	2022-09-10 20:05:31 +02:00
works.js	Add a new page to list repos and submissions	2022-09-10 20:05:31 +02:00