Skip to content

Refactoring

Robin Elvedi requested to merge refactoring into master

fixed:

  • naming
  • imports
  • haddock
  • some warnings

Merge request reports