bc44388e46
PR: ports/77263 Submitted by: Matthias Andree <matthias.andree@gmx.de> (maintainer) |
||
---|---|---|
.. | ||
patch-dist::configure |
bc44388e46
PR: ports/77263 Submitted by: Matthias Andree <matthias.andree@gmx.de> (maintainer) |
||
---|---|---|
.. | ||
patch-dist::configure |