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 5b3bdb0429 Can show repository logs in admin interface		2022-09-16 12:03:50 +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	Can show repository logs in admin interface	2022-09-16 12:03:50 +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