https://github.com/homalg-project/homalg_project
Revision dd1303c55e49019b20ed41fd78d2a6bedebffd3a authored by Fabian Zickgraf on 02 November 2022, 08:12:27 UTC, committed by Fabian Zickgraf on 02 November 2022, 08:46:33 UTC
1 parent 72c631a
History
Tip revision: dd1303c55e49019b20ed41fd78d2a6bedebffd3a authored by Fabian Zickgraf on 02 November 2022, 08:12:27 UTC
Use GAP's `DirectoryTemporary` for getting a temporary directory
Tip revision: dd1303c

README.md

back to top