Skip to content

Rename arguments of list_evaluations#933

Merged
PGijsbers merged 2 commits intodevelopfrom
feature/list_evaluations
Jul 14, 2020
Merged

Rename arguments of list_evaluations#933
PGijsbers merged 2 commits intodevelopfrom
feature/list_evaluations

Commits

Commits on Jul 10, 2020

Commits on Jul 13, 2020