diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2023-07-02 08:33:50 +0200 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2023-07-02 09:21:48 +0200 |
commit | da9b36a15c72494c858157f976653be77bf6b08f (patch) | |
tree | 53db90a086877ff7172a8d1087d8dbbdae9a4dd4 /app-i18n | |
parent | dev-ml/ppx_module_timer: add 0.16.0 (diff) | |
download | gentoo-da9b36a15c72494c858157f976653be77bf6b08f.tar.gz gentoo-da9b36a15c72494c858157f976653be77bf6b08f.tar.bz2 gentoo-da9b36a15c72494c858157f976653be77bf6b08f.zip |
dev-ml/ppx_stable: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'app-i18n')
0 files changed, 0 insertions, 0 deletions