Skip to content
Snippets Groups Projects
Commit 607eeefe authored by florian's avatar florian
Browse files

Merge branch 'dev' into f-add-query

parents f857a3f7 072f9a1c
No related branches found
No related tags found
2 merge requests!47Release v0.4.0,!44ENH: Add all query results to bookmarks
Pipeline #15016 passed