filter by runner full names + "#<ID>" #160

Merged

philipp merged 3 commits from feature/159-cardsoverview-filter-for-runner-full-names-and-id into dev 2023-03-15 11:20:05 +00:00

Conversation 3 Commits 3 Files Changed 2 +59 -1

3 Commits

Author	SHA1	Message	Date
Nicolai Ort	32a9074963	Wow this api is fun ... ref #159	2023-03-15 12:14:39 +01:00
Nicolai Ort	b869b5fd2a	remodelled for early return ... ref #159	2023-03-15 11:39:51 +01:00
Philipp Dormann	3a3e2f7157	add ThFilterRunner ... ref #159	2023-03-15 11:10:08 +01:00