diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2021-11-27 22:10:53 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2021-11-27 22:10:59 +0100 |
| commit | 793a720cdcd065874d2beb7efcad20e208b65bf7 (patch) | |
| tree | e9c9f3d7bfa728a346dc1994480b9501cfe403c2 /kde-apps/poxml | |
| parent | dev-java/openjdk-jre-bin: bump to eapi8 (diff) | |
| download | gentoo-793a720cdcd065874d2beb7efcad20e208b65bf7.tar.gz gentoo-793a720cdcd065874d2beb7efcad20e208b65bf7.tar.bz2 gentoo-793a720cdcd065874d2beb7efcad20e208b65bf7.zip | |
dev-lang/idris2: use dodoc instead of insinto
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'kde-apps/poxml')
0 files changed, 0 insertions, 0 deletions