diff options
author | 2023-02-24 22:19:41 +0000 | |
---|---|---|
committer | 2023-02-24 22:19:41 +0000 | |
commit | 6a056f04b4e964be83bd99ddf72daecaec1811ec (patch) | |
tree | 0ef46e9b8d4a53259f784f400e63aeb45d698800 /x11-terms | |
parent | dev-ml/ppx_log: Keyword 0.15.0-r1 arm, #892131 (diff) | |
download | gentoo-6a056f04b4e964be83bd99ddf72daecaec1811ec.tar.gz gentoo-6a056f04b4e964be83bd99ddf72daecaec1811ec.tar.bz2 gentoo-6a056f04b4e964be83bd99ddf72daecaec1811ec.zip |
dev-ml/sexp_pretty: Keyword 0.15.1-r1 arm, #892131
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'x11-terms')
0 files changed, 0 insertions, 0 deletions