diff options
| author |   Pacho Ramos <pacho@gentoo.org> | 2024-06-16 12:37:26 +0200 |
|---|---|---|
| committer | Pacho Ramos <pacho@gentoo.org> | 2024-06-16 12:39:14 +0200 |
| commit | e7a978de40f3e9cd1d05bb33434ab632d7e7bc3f (patch) | |
| tree | bbb703d69a1c403b593c26a848c3e27c7b663ea8 /dev-ml/opam-core/Manifest | |
| parent | dev-texlive/texlive-binextra: Stabilize 2023_p69527-r3 arm64, #934402 (diff) | |
| download | gentoo-master.tar.gz gentoo-master.tar.bz2 gentoo-master.zip | |
Stop using dead gnome-doc-utils
Signed-off-by: Pacho Ramos <pacho@gentoo.org>
Diffstat (limited to 'dev-ml/opam-core/Manifest')
0 files changed, 0 insertions, 0 deletions