| commit | 80c7d3c9bb624b5a27112e5db318ceb5137f57e0 | [log] [tgz] |
|---|---|---|
| author | Enrico Olivelli <eolivelli@gmail.com> | Fri Jul 17 23:02:34 2020 +0200 |
| committer | GitHub <noreply@github.com> | Fri Jul 17 23:02:34 2020 +0200 |
| tree | b5de9625e1f41c16a91007579117e7361030f2cc | |
| parent | 78225920f9ee7eed53686c95291e36878b595d4d [diff] |
use 'install' goal