Fix installation of Morbig 0.11.0
Niols 1 year ago 31efb0b6 175a8ca8
··· 33 33 ] 34 34 35 35 build: [make "build"] 36 36 + install: [make "install"] 36 37 run-test: [make "check"] 37 38 38 39 url {