https://github.com/homalg-project/homalg_project
Raw File
Tip revision: 7292bf28ddbe422bc2542046c0c32b0d3d8eb430 authored by Mohamed Barakat on 09 April 2021, 14:48:16 UTC
Merge pull request #424 from mohamed-barakat/devel
Tip revision: 7292bf2
.codecov.yml
codecov:
  disable_default_path_fixes: true
fixes:
  - "/home/gap/.gap/pkg/homalg_project/::"
ignore:
  - "home/"
back to top