diff options
| author |   Sam James <sam@gentoo.org> | 2022-10-18 02:46:19 +0100 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2022-10-18 03:17:13 +0100 |
| commit | f5977d0a00ff779f32ab8113be2304e1c30d61a3 (patch) | |
| tree | 44b6f4f8e1b13fcda31843888b8f064b19d49e13 /dev-ml/ppx_optional | |
| parent | dev-vcs/rcs: add savannah upstream metadata (diff) | |
| download | gentoo-f5977d0a00ff779f32ab8113be2304e1c30d61a3.tar.gz gentoo-f5977d0a00ff779f32ab8113be2304e1c30d61a3.tar.bz2 gentoo-f5977d0a00ff779f32ab8113be2304e1c30d61a3.zip | |
games-board/gnubg: add savannah upstream metadata
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_optional')
0 files changed, 0 insertions, 0 deletions