*** Wartungsfenster jeden ersten Mittwoch vormittag im Monat ***

Skip to content
Snippets Groups Projects
Commit f2afdf85 authored by Moser, Maximilian's avatar Moser, Maximilian
Browse files

Store list of results for results per format

* building up this list while loading results reduces the amount of
  potential work for filtering later on
* also enable passing a list of already known formats to
  `load_results(...)`
* new formats will be added to the supplied list as they're encountered
parent 69f47db9
1 merge request!15Enable marking file formats as safe/endangered
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment