summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2021-11-27 22:10:53 +0100
committerMaciej Barć <xgqt@gentoo.org>2021-11-27 22:10:59 +0100
commit793a720cdcd065874d2beb7efcad20e208b65bf7 (patch)
treee9c9f3d7bfa728a346dc1994480b9501cfe403c2 /dev-libs/aml
parentdev-java/openjdk-jre-bin: bump to eapi8 (diff)
downloadgentoo-master.tar.gz
gentoo-master.tar.bz2
gentoo-master.zip
dev-lang/idris2: use dodoc instead of insintoHEADmaster
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-libs/aml')
0 files changed, 0 insertions, 0 deletions