Commit 1ece193af25159b65a8f4e53abfe2c7389095a5c

Daniel Mendler 2019-10-27T22:48:53

replace gen.pl by cat, rename mpi.c to mp_all.c