diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2018-03-27 08:05:35 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2018-03-27 08:05:35 +0200 |
| commit | 414f51e061f8082d6be5f1e342924bc8cf24ed3b (patch) | |
| tree | cc9594d5c270a01ddc40602ac8ae25ea3825afc3 /java-virtuals | |
| parent | app-misc/geneweb: Remove STRIP_MASK. Stable 6.08. Remove old (diff) | |
| download | gentoo-414f51e061f8082d6be5f1e342924bc8cf24ed3b.tar.gz gentoo-414f51e061f8082d6be5f1e342924bc8cf24ed3b.tar.bz2 gentoo-414f51e061f8082d6be5f1e342924bc8cf24ed3b.zip | |
sci-mathematics/why3-for-spark: Fix STRIP_MASK usage. Bug #651458
Package-Manager: Portage-2.3.24, Repoman-2.3.6
Diffstat (limited to 'java-virtuals')
0 files changed, 0 insertions, 0 deletions