| commit | 4eeea1f1a9fb6ae13e809ad41f0e3f1ee9c184ac | [log] [tgz] |
|---|---|---|
| author | Jean-Louis Monteiro <jlmonteiro@tomitribe.com> | Thu Jun 10 14:53:22 2021 +0200 |
| committer | Jean-Louis Monteiro <jlmonteiro@tomitribe.com> | Thu Jun 10 14:53:22 2021 +0200 |
| tree | 3be7fd609507008e157d3df79d4d4b89e22e80d2 | |
| parent | 3578126cec8ef9da98d133012b7a79e755605c4f [diff] |
Don't include mojorra for other distribution than Plume