Romein van Buren 239af3590d Added deadline for counting documents ... Set a deadline for counting documents, and added a button to count documents if the deadline has been exceeded.		2023-07-24 20:38:30 +02:00
..
app	Added deadline for counting documents	2023-07-24 20:38:30 +02:00
ui	Moved text input dialog to frontend	2023-06-18 21:40:39 +02:00