diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-11-19 19:26:23 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-11-19 19:28:59 +0100 |
| commit | cfbf965ced4781bc0f2c9906580aafb7fe2e52ba (patch) | |
| tree | 43a8b546dc3429a5162272288c1f8a7e54d5d33a /dev-ml/dune/Manifest | |
| parent | app-misc/rpick: update upstream metadata (diff) | |
| download | gentoo-cfbf965ced4781bc0f2c9906580aafb7fe2e52ba.tar.gz gentoo-cfbf965ced4781bc0f2c9906580aafb7fe2e52ba.tar.bz2 gentoo-cfbf965ced4781bc0f2c9906580aafb7fe2e52ba.zip | |
dev-ml/dune-configurator: add 3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/dune/Manifest')
0 files changed, 0 insertions, 0 deletions