https://github.com/homalg-project/homalg_project
Raw File
Tip revision: 8e5e4e98a98a6f559eef49ff444e9b6a13dfdca1 authored by Mohamed Barakat on 19 October 2021, 22:45:46 UTC
Merge pull request #451 from mohamed-barakat/oscar
Tip revision: 8e5e4e9
.codecov.yml
codecov:
  disable_default_path_fixes: true
fixes:
  - "/home/gap/.gap/pkg/homalg_project/::"
ignore:
  - "home/"
back to top