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-editors | |
| 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-editors')
0 files changed, 0 insertions, 0 deletions