fix default filename
Merged
requested to merge 322-sampler-default-name-of-output-json-file-has-two-extensions into master
Code indexing in gitaly is broken and leads to code not being visible to the user. We work on the issue with highest priority.
Please migrate repositories to https://gitea.psi.ch - if you need help, contact gitea@psi.ch
Closes #322 (closed)
approved this merge request
approved this merge request
merged