diff options
| author | Alfredo Tupone <tupone@gentoo.org> | 2022-04-24 16:43:34 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-04-24 16:45:38 +0200 |
| commit | fd44f768b4a713348424eaa552aa83b0eb24ed02 (patch) | |
| tree | 8a50c0b440b057ad397e78dd1aff34848b822e34 /dev-python/GitPython | |
| parent | b8ac2178a8b961f94fe552e47861b791bf707e28 (diff) | |
| download | gentoo-fd44f768b4a713348424eaa552aa83b0eb24ed02.tar.gz gentoo-fd44f768b4a713348424eaa552aa83b0eb24ed02.tar.bz2 gentoo-fd44f768b4a713348424eaa552aa83b0eb24ed02.zip | |
package.mask: add ppx_bin_prot to janestreet mask
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-python/GitPython')
0 files changed, 0 insertions, 0 deletions