Deploy germinal #15

Merged
jmcbray merged 1 commit from tobias/germinal:bundle into master 2020-06-14 21:02:39 -04:00

1 commit

Author SHA1 Message Date
Tobias Rautenkranz
fbe834803d Provide working make and make install 2020-06-14 10:29:50 +02:00