diff options
author | Mikle Kolyada <zlogene@gentoo.org> | 2018-01-27 21:33:58 +0300 |
---|---|---|
committer | Mikle Kolyada <zlogene@gentoo.org> | 2018-01-27 21:33:58 +0300 |
commit | 89e1288b0bdcc6aa01f330e800543d6649812c22 (patch) | |
tree | 5daf70d555e0d4d13e06da0182304fca0a89284b /dev-ml/ppx_here | |
parent | dev-lang/mono-basic: remove last rited package (diff) | |
download | gentoo-89e1288b0bdcc6aa01f330e800543d6649812c22.tar.gz gentoo-89e1288b0bdcc6aa01f330e800543d6649812c22.tar.bz2 gentoo-89e1288b0bdcc6aa01f330e800543d6649812c22.zip |
dev-dotnet/nini: remove last rited package
Diffstat (limited to 'dev-ml/ppx_here')
0 files changed, 0 insertions, 0 deletions