Skip to content

Small improvements

Frederic Gurr requested to merge small_improvements into main
  • Fix error messages about fetch
  • Add .project to .gitignore

Merge request reports