https://github.com/homalg-project/homalg_project
Raw File
Tip revision: 202f7130dde41cf4260970c8b3e8efb24cf27619 authored by Mohamed Barakat on 11 February 2022, 23:34:22 UTC
Merge pull request #464 from mohamed-barakat/devel
Tip revision: 202f713
.codecov.yml
codecov:
  disable_default_path_fixes: true
fixes:
  - "/home/gap/.gap/pkg/homalg_project/::"
ignore:
  - "home/"
back to top