diff options
| author |   Sam James <sam@gentoo.org> | 2021-02-08 07:38:05 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-02-08 07:38:05 +0000 |
| commit | f55b362ee41cea92888317153662c1d01b722c3e (patch) | |
| tree | e0f8e5777f47bc37fb4805e37aa4fd076678c05e /sys-fs/davl | |
| parent | sci-mathematics/coq: fix metadata indentation (diff) | |
| download | gentoo-f55b362ee41cea92888317153662c1d01b722c3e.tar.gz gentoo-f55b362ee41cea92888317153662c1d01b722c3e.tar.bz2 gentoo-f55b362ee41cea92888317153662c1d01b722c3e.zip | |
sci-mathematics/coq: add github remote-id
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'sys-fs/davl')
0 files changed, 0 insertions, 0 deletions