https://github.com/homalg-project/homalg_project
Revision e0642fd66bca42e55f197c2bcddf4d7521eaf1aa authored by Mohamed Barakat on 06 September 2022, 12:43:52 UTC, committed by GitHub on 06 September 2022, 12:43:52 UTC
Do not try to overwrite already set attributes
2 parent s 6ed4333 + 9f30d0c
History
Tip revision: e0642fd66bca42e55f197c2bcddf4d7521eaf1aa authored by Mohamed Barakat on 06 September 2022, 12:43:52 UTC
Merge pull request #516 from zickgraf/attributes
Tip revision: e0642fd

README.md

back to top