Irevoire 5765883600 fix the auto-generated details		2022-10-27 11:34:14 +02:00
..
document_formats.rs	push the document_format and settings I forgot in the previous PR	2022-10-27 11:34:00 +02:00
error.rs	Add the tasks cancel route to cancel tasks	2022-10-27 11:34:11 +02:00
index_uid.rs	📎 makes clippy happy	2022-08-12 14:18:27 +02:00
keys.rs	Add the tasks cancel route to cancel tasks	2022-10-27 11:34:11 +02:00
lib.rs	write the dump export	2022-10-27 11:34:05 +02:00
settings.rs	write the dump export	2022-10-27 11:34:05 +02:00
star_or.rs	first mostly working version	2022-10-27 11:34:06 +02:00
tasks.rs	fix the auto-generated details	2022-10-27 11:34:14 +02:00