tree 3be7fd609507008e157d3df79d4d4b89e22e80d2
parent 3578126cec8ef9da98d133012b7a79e755605c4f
author Jean-Louis Monteiro <jlmonteiro@tomitribe.com> 1623329602 +0200
committer Jean-Louis Monteiro <jlmonteiro@tomitribe.com> 1623329602 +0200

Don't include mojorra for other distribution than Plume