Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • dev_moritz
  • 0.2.0
  • 0.1.0
4 results
Compare
user avatar
[Cleanup] Rename: maxiterations -> maximumIterations
Elias Pipping authored 
Also change its default from 1e6 to 1e5 and treat it as size_t
e496871a
History
user avatar e496871a
History
Name Last commit Last update