https://github.com/homalg-project/homalg_project
Revision 5fc10b945fbdb2413a6e21a4c01f14b958f0f4b9 authored by Mohamed Barakat on 13 October 2022, 14:19:52 UTC, committed by GitHub on 13 October 2022, 14:19:52 UTC
Gauss: #include gap_all.h instead of src/compiled.h
2 parent s 698bcb6 + 3fb4f8d
History
Tip revision: 5fc10b945fbdb2413a6e21a4c01f14b958f0f4b9 authored by Mohamed Barakat on 13 October 2022, 14:19:52 UTC
Merge pull request #539 from fingolfin/mh/gap_all
Tip revision: 5fc10b9

README.md

back to top