Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
ift
NIFTy
Merge requests
!161
Merged
Created
Jul 11, 2017
by
Theo Steininger
@theos
Options
suggested fix for stopping criterion
Overview
0
Commits
1
Pipelines
1
Changes
1