Skip to content

FilterEvents: add filtering based on trigger IDs

Stephan Lachnit requested to merge slachnit/corryvreckan:p-filter-events-improvements into master

This commit introduces the possibility to filter out certain trigger windows. It also cleans up the code a bit and fixes a bug in the tag-based filtering.

Merge request reports