diff options
author | Zen <z@pyl.onl> | 2024-10-10 13:15:09 -0500 |
---|---|---|
committer | Andrew Ammerlaan <andrewammerlaan@gentoo.org> | 2024-10-12 18:31:33 +0200 |
commit | ec94a3eadb19ee394be51b72db097f4f976c1951 (patch) | |
tree | 2cf0142ee2a97528305c89f79f4d782bb1b7dfb2 /dev-ml/ppx_diff/metadata.xml | |
parent | sys-kernel/ugrd: Add 1.24.2 (diff) | |
download | gentoo-master.tar.gz gentoo-master.tar.bz2 gentoo-master.zip |
Signed-off-by: Zen <z@pyl.onl>
Closes: https://github.com/gentoo/gentoo/pull/38953
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_diff/metadata.xml')
0 files changed, 0 insertions, 0 deletions