https://github.com/homalg-project/homalg_project
Raw File
Tip revision: d685c793496300b36e5a22956bbe7971ed7de83e authored by Mohamed Barakat on 25 May 2021, 10:04:17 UTC
Merge pull request #440 from zickgraf/ReplacedStringViaRecord
Tip revision: d685c79
.codecov.yml
codecov:
  disable_default_path_fixes: true
fixes:
  - "/home/gap/.gap/pkg/homalg_project/::"
ignore:
  - "home/"
back to top