diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-02-09 22:03:50 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-02-09 22:04:25 +0100 |
| commit | 04fdfae2d6ebd2a3a3b40be041d3db9eda6a1a98 (patch) | |
| tree | 0576138f85ad4ec5e3f4ca4df06fe071929f4ca3 /x11-themes/commonbox-styles | |
| parent | dev-ml/ppx_sexp_message: add ppxlib deps (diff) | |
| download | gentoo-04fdfae2d6ebd2a3a3b40be041d3db9eda6a1a98.tar.gz gentoo-04fdfae2d6ebd2a3a3b40be041d3db9eda6a1a98.tar.bz2 gentoo-04fdfae2d6ebd2a3a3b40be041d3db9eda6a1a98.zip | |
dev-ml/ppx_bench: fix for ppxlib-0.29.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'x11-themes/commonbox-styles')
0 files changed, 0 insertions, 0 deletions