https://github.com/homalg-project/homalg_project
Revision 72c631a7e2602c463006991588cf88f66f048e1b authored by Fabian Zickgraf on 02 November 2022, 08:09:48 UTC, committed by Fabian Zickgraf on 02 November 2022, 08:10:44 UTC
1 parent 8ede996
History
Tip revision: 72c631a7e2602c463006991588cf88f66f048e1b authored by Fabian Zickgraf on 02 November 2022, 08:09:48 UTC
Make IO_getpid and IO_gethostname optional
Tip revision: 72c631a

README.md

back to top