Joscha ad396722a0 Use one big form for priority inc/dec buttons		2023-08-18 00:51:36 +02:00
..
commit.html	Add button to batch-queue commits without runs	2023-08-17 19:13:24 +02:00
graph.html	Control graph with metric list	2023-08-15 23:46:02 +02:00
index.html	Move update button below refs	2023-08-17 22:36:31 +02:00
queue.html	Stop batch-add form being overwritten	2023-08-17 19:37:30 +02:00
queue_delete.html	Implement queue task deletion	2023-08-14 12:41:47 +02:00
queue_inner.html	Use one big form for priority inc/dec buttons	2023-08-18 00:51:36 +02:00
run_finished.html	Group migrations	2023-08-15 19:01:28 +02:00
worker.html	Port worker page	2023-08-13 23:02:18 +02:00